Kind error with G 8000 HC HEAD (in `Bifunctor.hs`) #4

ggreif · 2014-08-27T15:26:54Z

Just doing a cabal install in a freshly cloned categories working copy (i.e. master branch). My GHC is also built today (v7.9.20140826).

I get:

[ 6 of 11] Compiling Control.Bifunctor ( src/Control/Bifunctor.hs, dist/build/Control/Bifunctor.o )

src/Control/Bifunctor.hs:38:30:
    The first argument of ?Bifunctor?
      should have kind ?x1 -> y1 -> z1?,
      but ?p? has kind ?x2 -> y2 -> z2?
    In the type ?Bifunctor p r s t => r a b -> t (p a c) (p b c)?
    In the class declaration for ?PFunctor?

The text was updated successfully, but these errors were encountered:

ggreif · 2014-11-05T10:00:51Z

Tried this today with 7.9.20141103, same issue.

hvr · 2014-11-05T10:34:27Z

Here's the output from today's GHC w/o ?-marks:

src/Control/Bifunctor.hs:38:30:
    The first argument of ‘Bifunctor’
      should have kind ‘x1 -> y1 -> z1’,
      but ‘p’ has kind ‘x2 -> y2 -> z2’
    In the type ‘Bifunctor p r s t => r a b -> t (p a c) (p b c)’
    In the class declaration for ‘PFunctor’

And this is the class-declaration referenced:

class (Category r, Category t) => PFunctor (p :: x -> y -> z) (r :: x -> x -> *) (t :: z -> z -> *) | p r -> t, p t -> r where
  first :: r a b -> t (p a c) (p b c)
  default first :: Bifunctor p r s t => r a b -> t (p a c) (p b c) -- THIS IS LINE 38
  first f = bimap f id

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Kind error with G 8000 HC HEAD (in `Bifunctor.hs`) #4

Kind error with GHC HEAD (in `Bifunctor.hs`) #4

Uh oh!

Uh oh!

Kind error with G 8000 HC HEAD (in Bifunctor.hs) #4

Kind error with GHC HEAD (in Bifunctor.hs) #4

Comments

Uh oh!

Uh oh!

Kind error with G 8000 HC HEAD (in `Bifunctor.hs`) #4

Kind error with GHC HEAD (in `Bifunctor.hs`) #4