crucible-llvm-syntax: Add type signature for GHC 8.10 compatibility

GaloisInc · Nov 1, 2023 · bb3501b · bb3501b
1 parent abac7c9
commit bb3501b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax.hs b/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax.hs
@@ -69,7 +69,9 @@ llvmTypeParser = Parse.describe "LLVM type" $ Parse.call ptrType
       let ptrName = do
             s <- Parse.atomName
             unless (s == Atom.AtomName "Ptr") Parse.cut
-      let ptrWidth = do
+      let -- This type signature is needed for GHC 8.10
+          ptrWidth :: MonadSyntax Atomic m => m (Some TypeRepr)
+          ptrWidth = do
             Parse.BoundedNat n <- Parse.posNat
             pure (Some (LLVMPointerRepr n))
       unary ptrName ptrWidth