GHC 9.10 - Githubissues

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Other

2.41k stars 339 forks source link

GHC 9.10 #7192

Closed andreasabel closed 1 month ago

andreasabel commented 3 months ago

Building with GHC 9.10 is currently blocked on:

[x] https://github.com/haskell-unordered-containers/hashable/issues/292 This is also a problem on head.hackage: https://gitlab.haskell.org/ghc/head.hackage/-/issues/100
[x] https://github.com/haskell-hvr/text-short/issues/45

After dropping head.hackage, there is the second round of blockers:

[x] https://github.com/haskellari/these/issues/195

Now the only remaining blocker is the release of cabal-3.12:

[ ] https://github.com/haskell/cabal/issues/9917

andreasabel commented 1 month ago

Agda buillds with GHC 9.10 now, only Cabal-3.12 is not used to set it up, but this issue can be considered fixed for now.