obsidiansystems / dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
54 stars 39 forks source link

GHC >=9.4 support #77

Open luc-tielen opened 1 year ago

luc-tielen commented 1 year ago

Hi, for my eclair-lang compiler I depend on dependent-sum-template. Unfortunately, it's the only dependency that hasn't been updated for GHC 9.4 (or newer) yet. Are there any plans to do this? How hard would it be to do this myself?

For reference, this is the error I see when trying to build my compiler for GHC 9.4:

Resolving dependencies...
Error: cabal: Could not resolve dependencies:
[__0] trying: eclair-lang-0.2.0 (user goal)
[__1] trying: dependent-sum-template-0.1.1.1 (dependency of eclair-lang)
[__2] trying: th-extras-0.0.0.6 (dependency of dependent-sum-template)
[__3] next goal: template-haskell (dependency of dependent-sum-template)
[__3] rejecting: template-haskell-2.19.0.0/installed-2.19.0.0 (conflict:
th-extras => template-haskell<2.19)
[__3] skipping: template-haskell-2.20.0.0, template-haskell-2.19.0.0 (has the
same characteristics that caused the previous version to fail: excluded by
constraint '<2.19' from 'th-extras')
[__3] rejecting: template-haskell-2.18.0.0, template-haskell-2.17.0.0,
template-haskell-2.16.0.0, template-haskell-2.15.0.0,
template-haskell-2.14.0.0, template-haskell-2.13.0.0,
template-haskell-2.12.0.0, template-haskell-2.11.1.0,
template-haskell-2.11.0.0, template-haskell-2.10.0.0,
template-haskell-2.9.0.0, template-haskell-2.8.0.0, template-haskell-2.7.0.0,
template-haskell-2.6.0.0, template-haskell-2.5.0.0, template-haskell-2.4.0.1,
template-haskell-2.4.0.0, template-haskell-2.3.0.1, template-haskell-2.3.0.0,
template-haskell-2.2.0.0 (constraint from non-upgradeable package requires
installed instance)
[__3] fail (backjumping, conflict set: dependent-sum-template,
template-haskell, th-extras)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: template-haskell, th-extras,
dependent-sum-template, eclair-lang