search

pa-ba / compdata

Haskell library implementing "Data Types a la Carte"
http://hackage.haskell.org/package/compdata
Other
89 stars 27 forks source link

Build failure with GHC 9.0 and 9.2 #36

Closed andreasabel closed 1 year ago

andreasabel commented 2 years ago 
$ cabal install compdata -w ghc-9.0.1
Resolving dependencies...
Build profile: -w ghc-9.0.1 -O1
...
Building library for compdata-0.12.1..
[ 1 of 61] Compiling Data.Comp.Derive.Utils ( src/Data/Comp/Derive/Utils.hs, dist/build/Data/Comp/Derive/Utils.o, dist/build/Data/Comp/Derive/Utils.dyn_o )

src/Data/Comp/Derive/Utils.hs:35:36: error:
    • Expecting one more argument to ‘TyVarBndr’
      Expected a type, but ‘TyVarBndr’ has kind ‘* -> *’
    • In the type ‘[TyVarBndr]’
      In the definition of data constructor ‘DataInfo’
      In the data declaration for ‘DataInfo’
   |
35 | data DataInfo = DataInfo Cxt Name [TyVarBndr] [Con] [DerivClause] 
   |                                    ^^^^^^^^^

The published versions on hackage should be revised to come with suitable upper bounds so that the cabal constraint solver already fails when compilation is guaranteed to fail.

pa-ba commented 1 year ago

Thanks! I've updated the bounds on Hackage.