dependent-sum icon indicating copy to clipboard operation
dependent-sum copied to clipboard

GHC >=9.4 support

Open luc-tielen opened this issue 1 year ago • 0 comments

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

luc-tielen avatar Apr 24 '23 07:04 luc-tielen