On Wed, 5 Mar 2014 15:40:27 -0500
Richard Eisenberg <eir@cis.upenn.edu> wrote:

> I think those should be the same and that you've discovered a bug. What's the definition of the Parsing class?

Here it goes [1]:

class Alternative m => Parsing m where
    ....
    notFollowedBy :: (Monad m, Show a) => m a -> m ()
    notFollowedBy p = try ((try p >>= unexpected . show) <|> pure ())
    {-# INLINE notFollowedBy #-}

[1]: https://github.com/ekmett/parsers/blob/master/src/Text/Parser/Combinators.hs#L230

--

  Sergei

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs