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 ekm...@gmail.com wrote:
As usual I'm the source of more headaches for Richard. ;)
-Edward
On Wed, Mar 5, 2014 at 3:57 PM,
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
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:
On Wed, 5 Mar 2014 15:40:27 -0500
Richard Eisenberg e...@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)
As usual I'm the source of more headaches for Richard. ;)
-Edward
On Wed, Mar 5, 2014 at 3:57 PM, Sergei Trofimovich sly...@gmail.com wrote:
On Wed, 5 Mar 2014 15:40:27 -0500
Richard Eisenberg e...@cis.upenn.edu wrote:
I think those should be the same and that you've discovered a bug.
