Compilation fails with GHC 7.4.2 about constraintkinds HOT 6 CLOSED

The versions of the dependencies that I have installed:
ghc-prim-0.2.0.0
vector-0.10.0.1

from constraintkinds.

Update:
both can be fixed by explicitly adding type FunctorConstraint [] x = () and type TraversableConstraint [] x = () in the respective instance declarations.

(At least, it compiles and should have the intended result.)

from constraintkinds.

I've made your adjustments and uploaded a new version to hackage. Think you could try it out for me and verify it works? If not, could you do a pull request with whatever changes you made?

Thanks.

from constraintkinds.

Thank you, it worked.

from constraintkinds.

Or not. It does compile, but when trying to install HLearn-algebra (both from Hackage and GitHub), I now get the following:

Configuring HLearn-algebra-0.0.1...
Building HLearn-algebra-0.0.1...
Preprocessing library HLearn-algebra-0.0.1...
[1 of 4] Compiling HLearn.Algebra.Structures ( src/HLearn/Algebra/Structures.hs, dist/build/HLearn/Algebra/Structures.o )
[2 of 4] Compiling HLearn.Algebra.Functions ( src/HLearn/Algebra/Functions.hs, dist/build/HLearn/Algebra/Functions.o )
/Users/mrueg/Library/Haskell/ghc-7.4.2/lib/ConstraintKinds-0.0.1.2/lib/Control/ConstraintKinds/Foldable.hi
Declaration for R:FoldableConstraint[]x:
  Iface type variable out of scope:  x
Cannot continue after interface file error

Installing HLearn-algebra works after adding, similar to the changes before:

• type FoldableConstraint [] x = () to instance Foldable [] and
• type FoldableConstraint V.Vector x = () to Foldable V.Vector

from constraintkinds.

Should be fixed now.

from constraintkinds.