Cannot build tagged with HEAD

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

Cannot build tagged with HEAD

Edsko de Vries-4
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/f9f64411/attachment.html>

Reply | Threaded
Open this post in threaded view
|

Cannot build tagged with HEAD

Simon Peyton Jones
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>

Reply | Threaded
Open this post in threaded view
|

Cannot build tagged with HEAD

Joachim Breitner-2
In reply to this post by Edsko de Vries-4
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 at joachim-breitner.de ? http://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  ? GPG-Key: 0x4743206C
  Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131125/946d5c02/attachment.sig>

Reply | Threaded
Open this post in threaded view
|

Cannot build tagged with HEAD

Edsko de Vries-4
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
<mail at joachim-breitner.de>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
>   mail at joachim-breitner.de * http://www.joachim-breitner.de/
>   Jabber: nomeata at joachim-breitner.de  * GPG-Key: 0x4743206C
>   Debian Developer: nomeata at debian.org
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131125/bd835655/attachment.html>