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
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