Open roboguy13 opened 9 years ago
This is what I get on GHC 7.10.2:
[9 of 9] Compiling Hask.Adjunction ( src/Hask/Adjunction.hs, dist/build/Hask/Adjunction.o )
src/Hask/Adjunction.hs:31:14:
The second argument of ‘Dom2’ should have kind ‘i1’,
but ‘p a b’ has kind ‘j1’
In the type ‘Iso (->) (->) (->) (Dom2 p (p a b) c) (Dom2 p (p a' b') c') (Dom2 q a (q b c)) (Dom2 q a' (q b' c'))’
In the class declaration for ‘Curried’
The description of this repository mentions:
Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
Hask is highly experimental and probably shouldn't be considered "supported"
@glguy I think it means that there were bugfixes in GHC 7.8.3
(compared to GHC 7.8.2
) necessary for this project to compile and work properly. There is no mention of GHC 7.10.*
, and it makes sense to keep the project up to date with the latest compiler.
The Any
trick used by this package to inject new type constructors into existing kinds isn't available any more. Simon fixed it explicitly to stop me from doing this.
Nowadays you need to use stuck data families instead to achieve the same result.
When I try to build it, I get the following output from cabal: https://gist.github.com/roboguy13/2cba2baebdfaba033cbe