Cannot build tagged with HEAD

Simon Peyton-Jones simonpj at microsoft.com
Mon Nov 25 17:06:10 UTC 2013


looks like something to do with the new GND story.. Richard, Joachim?

Simon

From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Edsko de Vries
Sent: 25 November 2013 16:48
To: ghc-devs at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131125/d7f8d08d/attachment-0001.html>


More information about the ghc-devs mailing list