From f8f406df4f8f14734597f38ad9a60bc2d318088b Mon Sep 17 00:00:00 2001
From: Valentin Robert <val@galois.com>
Date: Fri, 5 Jan 2024 11:50:59 -0800
Subject: [PATCH] minor cleanups

---
 base/src/Data/Macaw/CFG/Core.hs | 2 +-
 base/src/Data/Macaw/Memory.hs   | 7 ++++---
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/base/src/Data/Macaw/CFG/Core.hs b/base/src/Data/Macaw/CFG/Core.hs
index d372de12..72eadae1 100644
--- a/base/src/Data/Macaw/CFG/Core.hs
+++ b/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)
diff --git a/base/src/Data/Macaw/Memory.hs b/base/src/Data/Macaw/Memory.hs
index ad067c6d..6973af9e 100644
--- a/base/src/Data/Macaw/Memory.hs
+++ b/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'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]