Cannot build tagged with HEAD
Edsko de Vries
edskodevries at gmail.com
Mon Nov 25 17:46:59 UTC 2013
Ok, created a ticket: https://ghc.haskell.org/trac/ghc/ticket/8563 .
Thanks,
Edsko
On Mon, Nov 25, 2013 at 5:18 PM, Joachim Breitner
<mail at joachim-breitner.de>wrote:
> Hi Edsko,
>
> Am Montag, den 25.11.2013, 16:47 +0000 schrieb Edsko de Vries:
> > I'm getting the errors below if I try to build tagged with head:
> >
> > src/Data/Tagged.hs:57:5:
> > 'Tagged' is applied to too many type arguments
> > In an expression type signature:
> > Tagged k s b -> Tagged k s b -> Bool
> > In the expression:
> > ghc-prim:GHC.Prim.coerce ((==) :: b -> b -> Bool) ::
> > Tagged k s b -> Tagged k s b -> Bool
> > In an equation for '==':
> > (==)
> > = ghc-prim:GHC.Prim.coerce ((==) :: b -> b -> Bool) ::
> > Tagged k s b -> Tagged k s b -> Bool
>
> that is the new GND code failing; this now tries to write instances
> using "coerce", and it seems the code generating the type annotations
> does wrong stuff.
>
> Can you create ticket, preferably with a small example, and I'll look
> into it.
>
> Thanks for testing HEAD!
> Joachim
>
>
> --
> Joachim "nomeata" Breitner
> mail at joachim-breitner.de * http://www.joachim-breitner.de/
> Jabber: nomeata at joachim-breitner.de * GPG-Key: 0x4743206C
> Debian Developer: nomeata at debian.org
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131125/bd835655/attachment.html>
More information about the ghc-devs
mailing list