Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use GHC2024 in singletons-th and singletons-base #594

Open
RyanGlScott opened this issue May 24, 2024 · 1 comment · May be fixed by #617
Open

Use GHC2024 in singletons-th and singletons-base #594

RyanGlScott opened this issue May 24, 2024 · 1 comment · May be fixed by #617

Comments

@RyanGlScott
Copy link
Collaborator

GHC 9.10 introduces the GHC2024 language extension set. As compared to GHC2021, this enables several additional language extensions by default, and several of these are ones that are commonly sprinkled throughout the code (e.g., DataKinds). Following in the footsteps of #508, we should make GHC2024 the default-language in the .cabal files for singletons-th and singletons-base.

@RyanGlScott
Copy link
Collaborator Author

Note that using GHC2024 requires cabal-install-3.12.0.0 or later, as earlier versions of cabal-install won't recognize it as a default-language:

$ cabal build singletons-th -w ghc-9.10
Resolving dependencies...
Error: cabal: Could not resolve dependencies:
[__0] next goal: singletons-th (user goal)
[__0] rejecting: singletons-th-3.4 (conflict: requires unknown language
GHC2024; did you mean GHC2021?)
[__0] rejecting: singletons-th-3.3, singletons-th-3.2, singletons-th-3.1.1,
singletons-th-3.1, singletons-th-3.0 (constraint from user target requires
==3.4)
[__0] fail (backjumping, conflict set: singletons-th)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: singletons-th

As such, I'll wait until cabal-install-3.12.0.0 is available in ghcup and haskell-ci before doing this.

RyanGlScott added a commit that referenced this issue Jul 24, 2024
@RyanGlScott RyanGlScott linked a pull request Jul 24, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant