Standalone Deriving, GND and roles in 7.8.1-rc2

Richard Eisenberg eir at cis.upenn.edu
Wed Mar 5 20:40:27 UTC 2014


I think those should be the same and that you've discovered a bug. What's the definition of the Parsing class?

Thanks!
Richard

On Mar 5, 2014, at 3:28 PM, Sergei Trofimovich wrote:

> Hello!
> 
> Trying to build random packages with fresh ghc-7.8.1-rc2
> I've come up with a strange bit:
> 
> https://github.com/trofi/Idris-dev/commit/9f93122ba1aa075c2fa1555fea68a6c403697e04
> 
> Is it an intended behaviour that
>    deriving instance Parsing IdrisInnerParser
> capable of doing more, than
>    newtype IdrisInnerParser a = IdrisInnerParser { runInnerParser :: Parser a } deriving (Parsing)
> ?
> 
> Thanks!
> 
> -- 
> 
>  Sergei
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs



More information about the ghc-devs mailing list