minor cleanups

base/src/Data/Macaw/CFG/Core.hs

@@ -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)

base/src/Data/Macaw/Memory.hs

@@ -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` 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]