6 Mar
2014
6 Mar
'14
4:57 a.m.
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... -- Sergei