Standalone Deriving, GND and roles in 7.8.1-rc2

Sergei Trofimovich slyich at gmail.com
Wed Mar 5 20:57:58 UTC 2014


On Wed, 5 Mar 2014 15:40:27 -0500
Richard Eisenberg <eir at 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140305/44c9c19a/attachment.sig>


More information about the ghc-devs mailing list