GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-26 09:22:20 +03:00
Code Issues Projects Releases Wiki Activity

Revert unintentional type parameter change in MacawEvalStmtFunc.

Browse Source
This commit is contained in:
Kevin Quick 2021-04-05 12:07:49 -07:00
parent ff4af631fd
commit b79e313cfc
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
symbolic/src/Data/Macaw/Symbolic/Backend.hs
View File

@ -56,7 +56,7 @@ import qualified Data.Macaw.Symbolic.MemOps as MO
-- is given a specific instance in the architecture-specific module, -- is given a specific instance in the architecture-specific module,
-- so this cannot be expressed directly as a `C.EvalStmtFunc`. -- so this cannot be expressed directly as a `C.EvalStmtFunc`.
type MacawEvalStmtFunc f p sym exts ext = type MacawEvalStmtFunc f p sym ext =
forall rtp blocks r ctx tp'. forall rtp blocks r ctx tp'.
f (C.RegEntry sym) tp' f (C.RegEntry sym) tp'
-> C.CrucibleState p sym ext rtp blocks r ctx -> C.CrucibleState p sym ext rtp blocks r ctx