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 <[email protected]>wrote: > 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] >
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
