Skip to content

Update to GHC 9 and add CI

Robin Stoll requested to merge with-ghc-9.2 into master

I finally managed to get everything to compile with GHC 9. This also allows us to use newer versions of Fourmolu, which I then used to set up a basic CI (resolving #55 (closed)).

Some comments:

  • It uses the last snapshot with GHC 9.2.4 (which was a nightly shortly before stabilization of LTS 20), since GHC 9.2.5 is not yet supported by HLS. As soon as that is the case (which should be soon), we can upgrade to LTS 20.
  • The CI is not set up completely optimally in the sense that libglpk-dev is installed on every run. This only takes a couple of minutes, so I'm not super concerned about it.
  • The CI does not currently fail on warnings.
  • To that point, there is a "redundant constraint" warning in BB4GG.Core.Monad.Trans.BB4GG that is false; removing the constraint leads to an error. We could turn off this warning in the file, but that seems a little ham fisted.
  • We could consider making it so that pushing/merging to master needs the CI to pass.
  • We might want to consider replacing some of our lens usage by the new record language extensions of GHC 9.2.
Edited by Robin Stoll

Merge request reports