fix alignedValidFlags in alonzo TxSeq decoding

IntersectMBO · May 7, 2021 · 8409011 · 8409011
1 parent cd4be2c
commit 8409011
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/alonzo/impl/src/Cardano/Ledger/Alonzo/TxSeq.hs b/alonzo/impl/src/Cardano/Ledger/Alonzo/TxSeq.hs
@@ -271,8 +271,10 @@ nonValidatingIndices (StrictSeq.fromStrict -> xs) =
 --
 -- This function operates much as the inverse of 'nonValidatingIndices'.
 alignedValidFlags :: Int -> [Int] -> Seq.Seq IsValidating
-alignedValidFlags n [] = Seq.replicate n $ IsValidating True
-alignedValidFlags n (x : xs) =
-  Seq.replicate (n - x) (IsValidating True)
-    Seq.>< IsValidating False
-    Seq.<| alignedValidFlags (n - x - 1) xs
+alignedValidFlags = alignedValidFlags' (-1)
+  where
+    alignedValidFlags' _ n [] = Seq.replicate n $ IsValidating True
+    alignedValidFlags' prev n (x : xs) =
+      Seq.replicate (x - prev - 1) (IsValidating True)
+        Seq.>< IsValidating False
+        Seq.<| alignedValidFlags' x (n - (x - prev)) xs