This PR contains a variety of tweaks needed to make the libraries in the saw-script repo support building with GHC 9.8. This includes:
Fixing a slew of -Wx-partial and -Worphans warnings that were uncovered by the version of -Wall implemented in GHC 9.8. Note that some particular occurrences of -Wx-partial warnings have their own SAW issues associated with them (#2096 and #2097), as it is possible to observe the partiality in SAW scripts.
Bump upper version bounds to bring in a cabal build plan that is compatible with GHC 9.8. Note that in order to support aeson-2.2.* (required for GHC 9.8 support), I had to tweak verif-viewer to adapt to aeson-2.2.* removing the json' function and moving it to the new attoparsec-aeson package instead.
Adapt to changes in SBV's internals in sbv-10.3.
Update the CI to support GHC 9.8 and drop testing for GHC 9.2. This includes updating the Dockerfiles to use GHC 9.4 instead of 9.2, now that we have dropped testing for the latter GHC version.
This PR contains a variety of tweaks needed to make the libraries in the
saw-scriptrepo support building with GHC 9.8. This includes:-Wx-partialand-Worphanswarnings that were uncovered by the version of-Wallimplemented in GHC 9.8. Note that some particular occurrences of-Wx-partialwarnings have their own SAW issues associated with them (#2096 and #2097), as it is possible to observe the partiality in SAW scripts.cabalbuild plan that is compatible with GHC 9.8. Note that in order to supportaeson-2.2.*(required for GHC 9.8 support), I had to tweakverif-viewerto adapt toaeson-2.2.*removing thejson'function and moving it to the newattoparsec-aesonpackage instead.sbv-10.3.