This contains a variety of changes needed to make the packages in the
dismantle repo compile with GHC 9.2:
In GHC 9.2, enabling UndecidableInstances no longer implies enabling FlexibleContexts (see here). As a result, I had to enable FlexibleContexts in dismantle-tablegen's Dismantle.Instruction module.
In template-haskell-2.18.*, the type of ConP gained an additional field (see here). As a result, I needed to use some CPP in dismantle-tablegen to make it compile.
This contains a variety of changes needed to make the packages in the
dismantlerepo compile with GHC 9.2:UndecidableInstancesno longer implies enablingFlexibleContexts(see here). As a result, I had to enableFlexibleContextsindismantle-tablegen'sDismantle.Instructionmodule.template-haskell-2.18.*, the type ofConPgained an additional field (see here). As a result, I needed to use some CPP indismantle-tablegento make it compile.parameterized-utilssubmodule was bumped to bring in the changes from https://github.com/GaloisInc/parameterized-utils/pull/128, which allows it to build with GHC 9.2.I also fixed various
-Wincomplete-uni-patternswarnings that were uncovered by its inclusion in-Wallin GHC 9.2.