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 src/Data/Tagged.hs:57:9: 'Tagged' is applied to too many type arguments In an expression type signature: Tagged k s b -> Tagged k s b -> Ordering In the expression: ghc-prim:GHC.Prim.coerce (compare :: b -> b -> Ordering) :: Tagged k s b -> Tagged k s b -> Ordering In an equation for 'compare': compare = ghc-prim:GHC.Prim.coerce (compare :: b -> b -> Ordering) :: Tagged k s b -> Tagged k s b -> Ordering src/Data/Tagged.hs:57:14: 'Tagged' is applied to too many type arguments In an expression type signature: (,) (Tagged k s b) (Tagged k s b) -> [] (Tagged k s b) In the expression: ghc-prim:GHC.Prim.coerce (range :: (,) b b -> [] b) :: (,) (Tagged k s b) (Tagged k s b) -> [] (Tagged k s b) In an equation for 'range': range = ghc-prim:GHC.Prim.coerce (range :: (,) b b -> [] b) :: (,) (Tagged k s b) (Tagged k s b) -> [] (Tagged k s b) src/Data/Tagged.hs:57:18: 'Tagged' is applied to too many type arguments In an expression type signature: Tagged k s b In the expression: ghc-prim:GHC.Prim.coerce (minBound :: b) :: Tagged k s b In an equation for 'minBound': minBound = ghc-prim:GHC.Prim.coerce (minBound :: b) :: Tagged k s b Line 57 is the "(" in newtype Tagged s b = Tagged { unTagged :: b } deriving ( Eq, Ord, Ix, Bounded #if __GLASGOW_HASKELL__ >= 707 , Typeable #endif ) Anyone any ideas what's going on? -E
looks like something to do with the new GND story.. Richard, Joachim? Simon From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Edsko de Vries Sent: 25 November 2013 16:48 To: ghc-devs@haskell.org Subject: Cannot build tagged with HEAD 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 src/Data/Tagged.hs:57:9: ‛Tagged’ is applied to too many type arguments In an expression type signature: Tagged k s b -> Tagged k s b -> Ordering In the expression: ghc-prim:GHC.Prim.coerce (compare :: b -> b -> Ordering) :: Tagged k s b -> Tagged k s b -> Ordering In an equation for ‛compare’: compare = ghc-prim:GHC.Prim.coerce (compare :: b -> b -> Ordering) :: Tagged k s b -> Tagged k s b -> Ordering src/Data/Tagged.hs:57:14: ‛Tagged’ is applied to too many type arguments In an expression type signature: (,) (Tagged k s b) (Tagged k s b) -> [] (Tagged k s b) In the expression: ghc-prim:GHC.Prim.coerce (range :: (,) b b -> [] b) :: (,) (Tagged k s b) (Tagged k s b) -> [] (Tagged k s b) In an equation for ‛range’: range = ghc-prim:GHC.Prim.coerce (range :: (,) b b -> [] b) :: (,) (Tagged k s b) (Tagged k s b) -> [] (Tagged k s b) src/Data/Tagged.hs:57:18: ‛Tagged’ is applied to too many type arguments In an expression type signature: Tagged k s b In the expression: ghc-prim:GHC.Prim.coerce (minBound :: b) :: Tagged k s b In an equation for ‛minBound’: minBound = ghc-prim:GHC.Prim.coerce (minBound :: b) :: Tagged k s b Line 57 is the "(" in newtype Tagged s b = Tagged { unTagged :: b } deriving ( Eq, Ord, Ix, Bounded #if __GLASGOW_HASKELL__ >= 707 , Typeable #endif ) Anyone any ideas what's going on? -E
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
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
participants (3)
-
Edsko de Vries -
Joachim Breitner -
Simon Peyton-Jones