Commit f3bd2f81 authored by Klaus Aehlig's avatar Klaus Aehlig
Browse files

reaname variables to avoid name shadowing



...as name shadowing is a fatal warning in our style.
Enjoy the more readable one character variable names
as in the QuickCheck source code.
Signed-off-by: default avatarKlaus Aehlig <aehlig@google.com>
Reviewed-by: default avatarPetr Pudlak <pudlak@google.com>
parent 8a1b6f9b
......@@ -190,10 +190,10 @@ passTest = property True
-- The underlying issue is tracked at
-- https://github.com/nick8325/quickcheck/issues/26
stableCover :: Testable prop => Bool -> Int -> String -> prop -> Property
stableCover pred percent label prop =
let newlabel = "(stabilized to at least 10%) " ++ label
stableCover p percent s prop =
let newlabel = "(stabilized to at least 10%) " ++ s
in forAll (frequency [(1, return True), (9, return False)]) $ \ basechance ->
cover (basechance || pred) (10 + (percent * 9 `div` 10)) newlabel prop
cover (basechance || p) (10 + (percent * 9 `div` 10)) newlabel prop
-- | Return the python binary to use. If the PYTHON environment
-- variable is defined, use its value, otherwise use just \"python\".
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment