Merge pull request #1735 from Melvar/fix-rndint
Fix error in rndInt making lower bound ineffective
commitce414420c8c82f0746b1f03ccd988590d93fd66f
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 24 Nov 2014, 11:20 (12 years ago)
parent1a8f1dbe5ad2ea
libs/effects/Effect/Random.idr+1−1
@@ -19,7 +19,7 @@ RND = MkEff Integer Random
1919||| Generates a random Integer in a given range
2020rndInt : Integer -> Integer -> { [RND] } Eff Integer
2121rndInt lower upper = do v <- call $ getRandom
22− return (v `prim__sremBigInt` (upper - lower) + lower)
22+ return ((v `prim__sremBigInt` (upper - lower)) + lower)
2323
2424||| Generate a random number in Fin (S `k`)
2525|||