From 4a48bedcd1d708a43d43dc6259a4e45c52ea3d00 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 3 Dec 2017 23:25:40 -0800 Subject: 4134 - 'input' = 'ingredient' --- html/068random.mu.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'html/068random.mu.html') diff --git a/html/068random.mu.html b/html/068random.mu.html index 2c695c2f..dbe3bc66 100644 --- a/html/068random.mu.html +++ b/html/068random.mu.html @@ -61,7 +61,7 @@ if ('onhashchange' in window) { 
  1 def random generator:&:stream:num -> result:num, fail?:bool, generator:&:stream:num [
  2   local-scope
- 3   load-ingredients
+ 3   load-inputs
  4   {
  5   ¦ break-if generator
  6   ¦ # generator is 0? use real random-number generator
@@ -74,20 +74,20 @@ if ('onhashchange' in window) {
 13 # helper for tests
 14 def assume-random-numbers -> result:&:stream:num [
 15   local-scope
-16   load-ingredients
+16   load-inputs
 17   # compute result-len, space to allocate in result
 18   result-len:num <- copy 0
 19   {
-20   ¦ _, arg-received?:bool <- next-ingredient
+20   ¦ _, arg-received?:bool <- next-input
 21   ¦ break-unless arg-received?
 22   ¦ result-len <- add result-len, 1
 23   ¦ loop
 24   }
-25   rewind-ingredients
+25   rewind-inputs
 26   result-data:&:@:num <- new number:type, result-len
 27   idx:num <- copy 0
 28   {
-29   ¦ curr:num, arg-received?:bool <- next-ingredient
+29   ¦ curr:num, arg-received?:bool <- next-input
 30   ¦ break-unless arg-received?
 31   ¦ *result-data <- put-index *result-data, idx, curr
 32   ¦ idx <- add idx, 1
@@ -118,7 +118,7 @@ if ('onhashchange' in window) {
 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
+60   load-inputs
 61   result, fail?, generator <- random generator
 62   return-if fail?
 63   delta:num <- subtract end, start
-- 
cgit 1.4.1-2-gfad0