On Wed, 5 Mar 2014 15:40:27 -0500 Richard Eisenberg <e...@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
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
