edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-24 04:43:25 +03:00
Code Issues Projects Releases Wiki Activity

remove a couple of trailing wheres

Browse Source
This commit is contained in:
Rohit Grover 2020-05-07 10:08:55 +12:00
parent c8e4210289
commit 2fc589aa76
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libs/contrib/System/Random.idr
View File

@ -19,12 +19,12 @@ Random Int where
let maxInt = shiftL 1 31 - 1 in let maxInt = shiftL 1 31 - 1 in
let minInt = negate $ shiftL 1 31 in let minInt = negate $ shiftL 1 31 in
let range = maxInt - minInt in let range = maxInt - minInt in
map (+ minInt) $ prim_randomInt range where map (+ minInt) $ prim_randomInt range
-- Generate a random value within [lo, hi]. -- Generate a random value within [lo, hi].
randomRIO (lo, hi) = randomRIO (lo, hi) =
let range = hi - lo + 1 in let range = hi - lo + 1 in
map (+ lo) $ prim_randomInt range where map (+ lo) $ prim_randomInt range
prim_randomDouble : IO Double prim_randomDouble : IO Double
prim_randomDouble = schemeCall Double "blodwen-random" [] prim_randomDouble = schemeCall Double "blodwen-random" []