From bd58d18a2308ae5b53a6f5df1e67203739396d8f Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 18 Apr 2017 11:02:49 -0700 Subject: 3829 --- html/068random.mu.html | 37 +++++++++++++++++++------------------ 1 file changed, 19 insertions(+), 18 deletions(-) (limited to 'html/068random.mu.html') diff --git a/html/068random.mu.html b/html/068random.mu.html index a1d75f32..9828a44e 100644 --- a/html/068random.mu.html +++ b/html/068random.mu.html @@ -115,24 +115,25 @@ if ('onhashchange' in window) { 54 ] 55 ] 56 -57 def random-in-range generator:&:stream:num, start:num, end:num -> result:num, fail?:bool, generator:&:stream:num [ -58 local-scope -59 load-ingredients -60 result, fail?, generator <- random generator -61 return-if fail? -62 delta:num <- subtract end, start -63 _, result <- divide-with-remainder result, delta -64 result <- add result, start -65 ] -66 -67 scenario random-in-range [ -68 local-scope -69 source:&:stream:num <- assume-random-numbers 91 -70 1:num/raw <- random-in-range source, 40, 50 -71 memory-should-contain [ -72 ¦ 1 <- 41 -73 ] -74 ] +57 # generate a random integer in the semi-open interval [start, end) +58 def random-in-range generator:&:stream:num, start:num, end:num -> result:num, fail?:bool, generator:&:stream:num [ +59 local-scope +60 load-ingredients +61 result, fail?, generator <- random generator +62 return-if fail? +63 delta:num <- subtract end, start +64 _, result <- divide-with-remainder result, delta +65 result <- add result, start +66 ] +67 +68 scenario random-in-range [ +69 local-scope +70 source:&:stream:num <- assume-random-numbers 91 +71 1:num/raw <- random-in-range source, 40, 50 +72 memory-should-contain [ +73 ¦ 1 <- 41 +74 ] +75 ] -- cgit 1.4.1-2-gfad0