Add: Explanatory comments.

IntersectMBO · Jul 11, 2019 · ce5a642 · ce5a642
1 parent cbb75bb
commit ce5a642
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/ouroboros-network/src/Ouroboros/Network/AnchoredFragment.hs b/ouroboros-network/src/Ouroboros/Network/AnchoredFragment.hs
@@ -209,6 +209,9 @@ validExtension af bSucc =
     blockInvariant bSucc &&
     case head af of
       Left  p -> pointHash p == blockPrevHash bSucc &&
+                 -- Note that this inequality would be strict, but for epoch
+                 -- boundary blocks, which occupy the same slot as a regular
+                 -- block.
                  pointSlot p <=  blockSlot     bSucc
       Right b -> bSucc `CF.isValidSuccessorOf` b
 

diff --git a/ouroboros-network/src/Ouroboros/Network/ChainFragment.hs b/ouroboros-network/src/Ouroboros/Network/ChainFragment.hs
@@ -227,6 +227,9 @@ isValidSuccessorOf' bSucc b
       , ") at "
       , prettyCallStack callStack
       ]
+    -- Note that this inequality would be loose, but for epoch
+    -- boundary blocks, which occupy the same slot as a regular
+    -- block.
   | pointSlot p > blockSlot bSucc
   = Left $ concat [
         "Slot of tip ("