5 Mar
2014
5 Mar
'14
3:40 p.m.
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/9f93122ba1aa075c2fa1555fea68a6c403...
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@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs