about summary refs log tree commit diff stats
path: root/066stream.mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-17 10:30:24 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-17 10:30:24 -0700
commit51b0936fc78814134c2e90256fda6e048ba5244e (patch)
treeb8bd8321e982be64e5d40972c69da61d93f74b3d /066stream.mu
parent7a84094adbf7570e0b9716d8f469458b901efec8 (diff)
downloadmu-51b0936fc78814134c2e90256fda6e048ba5244e.tar.gz
3386
Diffstat (limited to '066stream.mu')
-rw-r--r--066stream.mu12
1 files changed, 6 insertions, 6 deletions
diff --git a/066stream.mu b/066stream.mu
index 04650181..7f25892c 100644
--- a/066stream.mu
+++ b/066stream.mu
@@ -18,14 +18,14 @@ def rewind in:address:stream:_elem -> in:address:stream:_elem [
   *in <- put *in, index:offset, 0
 ]
 
-def read in:address:stream:_elem -> result:_elem, empty?:boolean, in:address:stream:_elem [
+def read in:address:stream:_elem -> result:_elem, empty?:bool, in:address:stream:_elem [
   local-scope
   load-ingredients
   empty? <- copy 0/false
   idx:num <- get *in, index:offset
   s:address:array:_elem <- get *in, data:offset
   len:num <- length *s
-  at-end?:boolean <- greater-or-equal idx len
+  at-end?:bool <- greater-or-equal idx len
   {
     break-unless at-end?
     empty-result:address:_elem <- new _elem:type
@@ -36,14 +36,14 @@ def read in:address:stream:_elem -> result:_elem, empty?:boolean, in:address:str
   *in <- put *in, index:offset, idx
 ]
 
-def peek in:address:stream:_elem -> result:_elem, empty?:boolean [
+def peek in:address:stream:_elem -> result:_elem, empty?:bool [
   local-scope
   load-ingredients
-  empty?:boolean <- copy 0/false
+  empty?:bool <- copy 0/false
   idx:num <- get *in, index:offset
   s:address:array:_elem <- get *in, data:offset
   len:num <- length *s
-  at-end?:boolean <- greater-or-equal idx len
+  at-end?:bool <- greater-or-equal idx len
   {
     break-unless at-end?
     empty-result:address:_elem <- new _elem:type
@@ -64,7 +64,7 @@ def read-line in:address:stream:char -> result:text, in:address:stream:char [
   *in <- put *in, index:offset, idx
 ]
 
-def end-of-stream? in:address:stream:_elem -> result:boolean [
+def end-of-stream? in:address:stream:_elem -> result:bool [
   local-scope
   load-ingredients
   idx:num <- get *in, index:offset