git.iko.soy/Idris-dev
on master help sign in
Fix error in rndInt making lower bound ineffective
e5ad2eaMelvar Chen
libs/effects/Effect/Random.idr+1−1
compare with master
unifiedsplit
@@ -19,7 +19,7 @@ RND = MkEff Integer Random
19||| Generates a random Integer in a given range
19||| Generates a random Integer in a given range
20rndInt : Integer -> Integer -> { [RND] } Eff Integer
20rndInt : Integer -> Integer -> { [RND] } Eff Integer
21rndInt lower upper = do v <- call $ getRandom
21rndInt lower upper = do v <- call $ getRandom
22− return (v `prim__sremBigInt` (upper - lower) + lower)
22+ return ((v `prim__sremBigInt` (upper - lower)) + lower)
23
23
24||| Generate a random number in Fin (S `k`)
24||| Generate a random number in Fin (S `k`)
25|||
25|||