dependent-sum-template: add lowerbound for th-abstraction

obsidiansystems / dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

54 stars 39 forks source link

Closed juhp closed 3 years ago

juhp commented 3 years ago

Language.Haskell.TH.Datatype.TyVarBndr was introduced in th-abstraction-0.4.0.0 So the build fails with th-abstraction-0.3

juhp commented 3 years ago

It would be nice to do a corresponding Hackage revision.

Ericson2314 commented 3 years ago

Can confirm was failing before in our Nix CI due to too old a version, so this is good, thanks.

Ericson2314 commented 3 years ago