Fix an issue with formula loading

Also disable formula loading for now because it raises an exception due to some
unhandled constructs in the parser.

macaw-ppc/src/Data/Macaw/PPC/Semantics/TH.hs

@@ -34,16 +34,15 @@ import Data.Parameterized.NatRepr (knownNat)
 import Data.Macaw.PPC.Generator
 
 -- generate a different case for each key/value pair in the map
-genExecInstruction :: (A.Architecture arch, OrdF a)
+genExecInstruction :: (A.Architecture arch, OrdF a, ShowF a)
                    => proxy arch
                    -> (forall sh . c sh C.:- BuildOperandList arch sh)
                    -> [(Some (Witness c a), BS.ByteString)]
                    -> Q Exp
 genExecInstruction _ impl semantics = do
   Some ng <- runIO PN.newIONonceGenerator
-  sym <- runIO (S.newSimpleBackend ng)
-  formulas <- runIO (loadFormulas sym impl semantics)
-  reportWarning ("Found " ++ show (length semantics) ++ " formulas")
+  _sym <- runIO (S.newSimpleBackend ng)
+  -- formulas <- runIO (loadFormulas sym impl semantics)
   [| undefined |]
 
 -- SemMC.Formula: instantiateFormula

submodules/semmc

@@ -1 +1 @@
-Subproject commit 8a8d6df03aa33ae9bd5bebc773bd03f70a31db4f
+Subproject commit d5d68d541b9d0aaad85d1b9adc6f1c614798b524