Cabal 3.12

[andreasabel]

This PR does the minimum changes needed for Cabal-3.12 (and some cleanup work).

Subsumes:

• Add support for 64-bit RISC-V architecture #1137

Commits:

• Clean cabal.project: remove some cruft
• Default library (hackage-server) instead of internal library lib-server: the introduction of a internal library 7 years ago never got anywhere, and internal libs still cause problems with some tooling
• .cabal: remove outdated conditional: remove some cruft
• Tags feature: replace some clumsy code: a drive-by shooting; couldn't look past this contrived and inefficient piece of code when I ran into it
• Support Cabal-3.12 and GHC 9.10: main commit, introducing #ifs and the necessary code to work with latest Cabal(-syntax). Passes CI.
• Commit to Cabal-3.12.1.0: bump the lower bound of Cabal(-syntax) to latest; breaks the nix CI

I had to disable the reverse dependencies benchmark because gauge does not support base-4.20 and there is no maintainer for this package dropped by @vincenth in sight. @ysangkok, consider switiching to criterion or related.

Eventually we can remove all the #if MIN_VERSION_Cabal conditionals, but there is no rush now (they have been CI tested).

[peterbecich]

Is Cabal-3.12.0.0 sufficient? This is already available in nixpkgs. I am trying to update nixpkgs to 3.12.1.0 here: NixOS/nixpkgs#324424

[Bodigrim]

Once the upgrade to Cabal-3.12 is merged, please merge #1137 as well.

[andreasabel]

@peterbecich wrote:

Is Cabal-3.12.0.0 sufficient? This is already available in nixpkgs. I am trying to update nixpkgs to 3.12.1.0 here: NixOS/nixpkgs#324424

Unfortunately, Cabal(-syntax)-3.12.1.0 adds the MHS constructor (micro Haskell), breaking the PVP:

• PVP breakage: Cabal-(syntax-)?3.12.1.0 cabal#10161

So either we commit to Cabal >= 3.12.1.0 or to Cabal == 3.12.0.*. The former is more future compatible so I opted for it.

[andreasabel]

@Bodigrim wrote:

Once the upgrade to Cabal-3.12 is merged, please merge #1137 as well.

Thanks for the pointer!
I should take the missing parts of #1137 and include it into this PR. (This is just the arbitrary implementation for architecture values.)

• Add support for 64-bit RISC-V architecture #1137

[andreasabel]

I should take the missing parts of #1137 and include it into this PR.

Done.

[Bodigrim]

It would be great if upgrade to Cabal 3.12 could be deployed soon. Is there anything blocking it?

[ysangkok]

Cabal 3.12 could be deployed soon. Is there anything blocking it?

We'd have to ask @gbaz , I think.