WIP

IntersectMBO · Mar 27, 2023 · 5ba7d80 · 5ba7d80
1 parent 1005d29
commit 5ba7d80
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ouroboros-consensus-test/src/Test/Ouroboros/Consensus/ChainGenerator/Counting.hs b/ouroboros-consensus-test/src/Test/Ouroboros/Consensus/ChainGenerator/Counting.hs
@@ -169,7 +169,7 @@ pattern Contains x y <- UnsafeContains x y
 {-# COMPLETE Contains #-}
 
 forgetWindow :: Contains elem outer inner -> Some.Forgotten (Index outer elem, Index outer elem)
-forgetWindow win = Some.forgotten $ (windowStart win, windowLast win)
+forgetWindow win = Some.forgotten (windowStart win, windowLast win)
 
 frWin :: Contains elem outer inner -> Index inner elem -> Index outer elem
 frWin (Contains (Count i) _n) (Count j) = Count (i .+ j)

diff --git a/ouroboros-consensus-test/src/Test/Ouroboros/Consensus/ChainGenerator/Slot.hs b/ouroboros-consensus-test/src/Test/Ouroboros/Consensus/ChainGenerator/Slot.hs
@@ -79,7 +79,7 @@ genAsc :: R.RandomGen g => Asc -> g -> (S, g)
 genAsc asc g =
     bool `seq` (S bool, g')
   where
-    (q, g') = R.random g   -- note 0 <= q <- 1
+    (q, g') = R.random g   -- note 0 <= q <= 1
 
     bool = q < ascVal asc