Cannot build tagged with HEAD

[Joachim Breitner]

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 --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131125/946d5c02/attachment.sig>