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