This contains a handful of small tweaks needed to make the libraries in the dismantle repo build with GHC 9.4:
I have bumped the upper version bounds on text to allow building with text-2.0.*, which is bundled 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 Data.BitMask to make it compile.
This contains a handful of small tweaks needed to make the libraries in the
dismantlerepo build with GHC 9.4:textto allow building withtext-2.0.*, which is bundled with GHC 9.4.UndecidableInstancesinData.BitMaskto make it compile.parameterized-utilssubmodule to bring in the changes from https://github.com/GaloisInc/parameterized-utils/pull/146, which is needed to make it build with GHC 9.4.