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 wrote:
> As usual I'm the source of more headaches for Richard. ;)
>
> -Edward
>
>
> On Wed, Mar 5, 2014 at 3:57 PM, Sergei Trofim
As usual I'm the source of more headaches for Richard. ;)
-Edward
On Wed, Mar 5, 2014 at 3:57 PM, Sergei Trofimovich wrote:
> On Wed, 5 Mar 2014 15:40:27 -0500
> Richard Eisenberg wrote:
>
> > I think those should be the same and that you've discovered a bug.
> What's the definition of the Pa
On Wed, 5 Mar 2014 15:40:27 -0500
Richard Eisenberg 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 ()
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:
>
> htt
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
newt
