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

Fix a haddock parse bug

Browse Source
This commit is contained in:
Tristan Ravitch 2018-01-08 22:50:53 -08:00
parent 9530bf97bb
commit 46a97a16b4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
base/src/Data/Macaw/CFG/Core.hs
View File

@ -291,13 +291,13 @@ data AssignRhs (arch :: *) (f :: Type -> *) tp where
-> !(MemRepr tp)
-> AssignRhs arch f tp
-- | @CondReadMem tp cond addr v@ reads from memory at the given address if the
-- condition is true and returns the value if it false.
CondReadMem :: !(MemRepr tp)
-> !(f BoolType)
-> !(f (BVType (ArchAddrWidth arch)))
-> !(f tp)
-> AssignRhs arch f tp
-- ^ @CondReadMem tp cond addr v@ reads from memory at the given address if the
-- condition is true and returns the value if it false.
-- Call an architecture specific function that returns some result.
EvalArchFn :: !(ArchFn arch f tp)