Standalone Deriving, GND and roles in 7.8.1-rc2

[Richard Eisenberg]

This has now been entered as bug #8851. Track progress there if you're interested.

Thanks for bringing this up!
Richard

On Mar 5, 2014, at 4:34 PM, Edward Kmett <ekmett at gmail.com> wrote:

> 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/20140306/e897bc59/attachment.html>