Support building with GHC 9.4

This contains a variety of tweaks needed to make the libraries in the
`semmc` repo build with GHC 9.4:

* GHC 9.4 is pickier about undecidable superclass checking. As such, I needed to
  explicitly enable `UndecidableSuperClasses` in a handful of places.
* The upper version bounds on `text` were raised to `< 2.1` to allow building
  with `text-2.0.*`, which is bundled with GHC 9.4.
* The following submodule changes were brought in to support building with
  GHC 9.4:
  * `asl-translator`: GaloisInc/asl-translator#51
  * `crucible`: GaloisInc/crucible#1073

    (This also requires bumping the `llvm-pretty` submodule as a side effect)
  * `dismantle`: GaloisInc/dismantle#40

Author: RyanGlScott

cabal.project.newbuild

@@ -31,3 +31,9 @@ constraints:
   regex == 1.0.1.3
 allow-newer:
   regex:template-haskell
+
+-- TODO RGS: Remove this when on Hackage
+source-repository-package
+  type: git
+  location: https://github.com/GaloisInc/s-cargot-letbind
+  tag: a00bba1ffa27a605f4d2f9585bf7ea77e1c63726

semmc-learning/semmc-learning.cabal

@@ -43,7 +43,7 @@ library
                        mtl,
                        containers,
                        stm,
-                       text >= 1 && < 2,
+                       text >= 1 && < 2.1,
                        time,
                        filepath,
                        bytestring >=0.10 && < 0.12,

semmc-ppc/src/SemMC/Architecture/PPC.hs

@@ -8,6 +8,7 @@
 {-# LANGUAGE TypeFamilyDependencies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 
 module SemMC.Architecture.PPC ( AnyPPC, Variant, V32, V64
                               , VariantRepr(..), KnownVariant(..)

semmc-toy/semmc-toy.cabal

@@ -25,7 +25,7 @@ library
                      , containers >= 0.5.8
                      , filepath
                      , located-base
-                     , text >= 1 && < 2
+                     , text >= 1 && < 2.1
                      , crucible >= 0.4
                      , crucible-llvm
                      , dismantle-tablegen

semmc/semmc.cabal

@@ -70,7 +70,7 @@ library
                        stm,
                        BoundedChan,
                        located-base,
-                       text >= 1 && < 2,
+                       text >= 1 && < 2.1,
                        exceptions >= 0.8 && < 0.11,
                        s-cargot >= 0.1.4.0 && < 0.2,
                        s-cargot-letbind >= 0.2.2.0 && < 0.3,

semmc/src/SemMC/Architecture.hs

@@ -12,6 +12,7 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeOperators #-}

semmc/src/SemMC/Architecture/Concrete.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE ExistentialQuantification #-}
 {-# LANGUAGE GADTs #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 module SemMC.Architecture.Concrete (
   RegisterizedInstruction(..),
   LiteralRef(..),

semmc/src/SemMC/Architecture/Pseudo.hs

@@ -13,6 +13,7 @@
 {-# LANGUAGE TypeInType #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 -- | Support for "pseudo" archtiectures that wrap other architectures to provide
 -- extra operands beyond the native architecture
 --