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 [email protected] • http://www.joachim-breitner.de/ Jabber: [email protected] • GPG-Key: 0x4743206C Debian Developer: [email protected]
signature.asc
Description: This is a digitally signed message part
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
