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