From 11ceebb592f3cefa629c15ed6631b7c44792ee13 Mon Sep 17 00:00:00 2001 From: Daniel Matichuk Date: Tue, 6 Oct 2020 16:52:21 -0700 Subject: [PATCH] more haddock fixes --- symbolic/src/Data/Macaw/Symbolic.hs | 5 +++-- symbolic/src/Data/Macaw/Symbolic/Memory.hs | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/symbolic/src/Data/Macaw/Symbolic.hs b/symbolic/src/Data/Macaw/Symbolic.hs index 4babc2d8..c288af37 100644 --- a/symbolic/src/Data/Macaw/Symbolic.hs +++ b/symbolic/src/Data/Macaw/Symbolic.hs @@ -1192,7 +1192,8 @@ runCodeBlock sym archFns archEval halloc (initMem,globs) lookupH toMemPred g reg -- translate dfi useCFG = -- case MS.archVals (Proxy @arch) of -- Nothing -> fail "Architecture does not support symbolic reasoning" --- Just MS.ArchVals { MS.archFunctions = archFns } -> do +-- Just avals -> do +-- let archFns = MS.archFunctions avals -- hdlAlloc <- CFH.newHandleAllocator -- let nameText = TE.decodeUtf8With TEE.lenientDecode (MD.discoveredFunName dfi) -- let name = WFN.functionNameFromText nameText @@ -1258,7 +1259,7 @@ runCodeBlock sym archFns archEval halloc (initMem,globs) lookupH toMemPred g reg -- -- ^ The CFG to simulate -- -> IO () -- useCFG hdlAlloc sym avals initialRegs initialMem globalMap lfh cfg = --- let ?recordLLVMAnnotation = \_ _ -> pure () +-- let ?recordLLVMAnnotation = \_ _ -> (pure () :: IO ()) -- in MS.withArchEval avals sym $ \archEvalFns -> do -- let rep = CFH.handleReturnType (CC.cfgHandle cfg) -- memModelVar <- CLM.mkMemVar hdlAlloc diff --git a/symbolic/src/Data/Macaw/Symbolic/Memory.hs b/symbolic/src/Data/Macaw/Symbolic/Memory.hs index 9f87ab4e..d801dc7e 100644 --- a/symbolic/src/Data/Macaw/Symbolic/Memory.hs +++ b/symbolic/src/Data/Macaw/Symbolic/Memory.hs @@ -81,7 +81,7 @@ -- -- ^ The CFG to simulate -- -> IO () -- useCFG hdlAlloc sym avals initialRegs mem lfh cfg = --- let ?recordLLVMAnnotation = \_ _ -> pure () +-- let ?recordLLVMAnnotation = \_ _ -> (pure () :: IO ()) -- in MS.withArchEval avals sym $ \archEvalFns -> do -- let rep = CFH.handleReturnType (CC.cfgHandle cfg) -- memModelVar <- CLM.mkMemVar hdlAlloc