GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 08:53:12 +03:00
Code Issues Projects Releases Wiki Activity

Fix macaw-symbolic to work with macaw-base changes.

Browse Source
This commit is contained in:
Joe Hendrix 2017-10-27 16:40:21 -07:00
parent 8e9b453189
commit f34642e398
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
symbolic/src/Data/Macaw/Symbolic/App.hs
View File

@ -63,7 +63,7 @@ data ArchTranslateFunctions arch
. M.ArchFn arch (M.Value arch ids) tp
-> CrucGen arch ids s (CR.Atom s (ToCrucibleType tp)))
-- ^ Function for translating an architecture specific function
, archTranslateStmt :: !(forall ids s . M.ArchStmt arch ids -> CrucGen arch ids s ())
, archTranslateStmt :: !(forall ids s . M.ArchStmt arch (M.Value arch ids) -> CrucGen arch ids s ())
, archTranslateTermStmt :: !(forall ids s
. M.ArchTermStmt arch ids
-> M.RegState (M.ArchReg arch) (M.Value arch ids)
@ -437,7 +437,7 @@ addMacawTermStmt tstmt =
t <- lookupCrucibleLabel macawTrueLbl
f <- lookupCrucibleLabel macawFalseLbl
addTermStmt (CR.Br p t f)
M.ArchTermStmt ts regs -> do
M.ArchTermStmt ts regs _ -> do
fns <- translateFns <$> get
archTranslateTermStmt fns ts regs
M.TranslateError _regs msg -> do