Skip to content

Commit

Permalink
minor cleanups
Browse files Browse the repository at this point in the history
  • Loading branch information
Ptival committed Jan 5, 2024
1 parent 7d84006 commit f8f406d
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 4 deletions.
2 changes: 1 addition & 1 deletion base/src/Data/Macaw/CFG/Core.hs
Original file line number Diff line number Diff line change
Expand Up @@ -316,7 +316,7 @@ instance Show (CValue arch tp) where
-- and are immutable within that context (i.e. their value would not
-- change from a memory write).
data Value arch ids tp where
-- | A constant vlaue
-- | A constant value
CValue :: !(CValue arch tp) -> Value arch ids tp
-- | Value from an assignment statement.
AssignedValue :: !(Assignment arch ids tp)
Expand Down
7 changes: 4 additions & 3 deletions base/src/Data/Macaw/Memory.hs
Original file line number Diff line number Diff line change
Expand Up @@ -1287,9 +1287,10 @@ instance MemWidth w => Show (MemoryError w) where
------------------------------------------------------------------------
-- Reading contents

-- | Return list of contents from given word or an error if this we can't cleanly
-- partition a relocation
-- due to a relocation.
-- | Return the memory contents from a given offset, that is, the 'MemChunk' at
-- the given offset, then the following 'MemChunk's until the end of the
-- segment. Returns a 'MemoryError' if the requested offset falls within a
-- relocation, which we cannot partition.
segoffContentsAfter :: MemWidth w
=> MemSegmentOff w
-> Either (MemoryError w) [MemChunk w]
Expand Down

0 comments on commit f8f406d

Please sign in to comment.