Cannot build tagged with HEAD

[Edsko de Vries]

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>