diff options
Diffstat (limited to '068random.mu')
-rw-r--r-- | 068random.mu | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/068random.mu b/068random.mu index 923fc86e..321d0c45 100644 --- a/068random.mu +++ b/068random.mu @@ -1,4 +1,4 @@ -def random generator:address:stream:number -> result:number, fail?:boolean, generator:address:stream:number [ +def random generator:address:stream:num -> result:num, fail?:boolean, generator:address:stream:num [ local-scope load-ingredients { @@ -11,11 +11,11 @@ def random generator:address:stream:number -> result:number, fail?:boolean, gene ] # helper for tests -def assume-random-numbers -> result:address:stream:number [ +def assume-random-numbers -> result:address:stream:num [ local-scope load-ingredients # compute result-len, space to allocate in result - result-len:number <- copy 0 + result-len:num <- copy 0 { _, arg-received?:boolean <- next-ingredient break-unless arg-received? @@ -23,10 +23,10 @@ def assume-random-numbers -> result:address:stream:number [ loop } rewind-ingredients - result-data:address:array:number <- new number:type, result-len - idx:number <- copy 0 + result-data:address:array:num <- new number:type, result-len + idx:num <- copy 0 { - curr:number, arg-received?:boolean <- next-ingredient + curr:num, arg-received?:boolean <- next-ingredient break-unless arg-received? *result-data <- put-index *result-data, idx, curr idx <- add idx, 1 @@ -37,11 +37,11 @@ def assume-random-numbers -> result:address:stream:number [ scenario random-numbers-in-scenario [ local-scope - source:address:stream:number <- assume-random-numbers 34, 35, 37 - 1:number/raw, 2:boolean/raw <- random source - 3:number/raw, 4:boolean/raw <- random source - 5:number/raw, 6:boolean/raw <- random source - 7:number/raw, 8:boolean/raw <- random source + source:address:stream:num <- assume-random-numbers 34, 35, 37 + 1:num/raw, 2:boolean/raw <- random source + 3:num/raw, 4:boolean/raw <- random source + 5:num/raw, 6:boolean/raw <- random source + 7:num/raw, 8:boolean/raw <- random source memory-should-contain [ 1 <- 34 2 <- 0 # everything went well |