non-integer Spec: Fix incomplete pattern match warning

IntersectMBO · Jun 19, 2019 · 1086d02 · 1086d02
1 parent 3133208
commit 1086d02
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/shelley/chain-and-ledger/dependencies/non-integer/test/Spec.hs b/shelley/chain-and-ledger/dependencies/non-integer/test/Spec.hs
@@ -132,7 +132,9 @@ prop_LeaderCmp (Positive q) (Positive q') (Positive a) (Positive a') =
     let result = taylorExpCmp 3 (1/(1 - p_)) (-sigma*c) in
       (case result of
         ABOVE _ _ -> p_ >= (1 - ((1 - f) *** sigma))
-        BELOW _ _ -> p_ < (1 - ((1 - f) *** sigma)))
+        BELOW _ _ -> p_ < (1 - ((1 - f) *** sigma))
+        UNKNOWN -> False
+        )
   where (p, p') = normalizeInts q q'
         (s, s') = normalizeInts a a'
         p'''    = fromIntegral p' :: FixedPoint