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@joachim-breitner.de • http://www.joachim-breitner.de/
  Jabber: nomeata@joachim-breitner.de  • GPG-Key: 0x4743206C
  Debian Developer: nomeata@debian.org