Support building with GHC 9.4

RyanGlScott commented 1 year ago

This contains a varity of changes needed to make the libraries in the what4 repo compile with GHC 9.4:

GHC 9.4 is pickier about undecidable instance checking. See this section of the GHC 9.4 Migration Guide. As a result, I had to explicitly enable UndecidableInstances in What4.Utils.AbstractDomains to make it compile.
ST no longer has a MonadFail instance. See this section of the GHC 9.4 Migration Guide. To adapt to this change, I removed the MonadFail instance for VarRecorder, which was built on top of ST's MonadFail instance. Accordingly, all uses of fail at type VarRecorder have now been replaced with error.
I bumped the aig submodule to bring in the changes from https://github.com/GaloisInc/aig/pull/13, which are required to make aig build with GHC 9.4.
I bumped the upper version bounds of various dependencies to allow them to build with GHC 9.4.

Fixes https://github.com/GaloisInc/what4/issues/224.

RyanGlScott commented 1 year ago

I don't have a strong opinion on which minor 9.4 release to use, so I've changed it to GHC 9.4.3 / nixpkgs/22.05.

kquick commented 1 year ago

Ah, my mistake. I was getting the results of a searchlist when I looked to see what GHC version 22.11 had and a more recent set of packages was also available on the searchlist path. You do need to use nixos-unstable at present to get 9.4.4... sorry about that!

GaloisInc / what4

Support building with GHC 9.4 #230