Standalone Deriving, GND and roles in 7.8.1-rc2

[Edward Kmett]

As usual I'm the source of more headaches for Richard. ;)

-Edward


On Wed, Mar 5, 2014 at 3:57 PM, Sergei Trofimovich <slyich at gmail.com> wrote:

> 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
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140305/b16311bc/attachment.html>