From 4690ce81e079fc58cae8d6d583e5e3eb3ed81a83 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 9 Mar 2016 02:56:27 -0800 Subject: 2743 Looks like "TOhtml | " doesn't work on Mac OS X for some reason.. --- html/076stream.mu.html | 31 +++++++++++-------------------- 1 file changed, 11 insertions(+), 20 deletions(-) (limited to 'html/076stream.mu.html') diff --git a/html/076stream.mu.html b/html/076stream.mu.html index ec37fd4b..bcd3ef6d 100644 --- a/html/076stream.mu.html +++ b/html/076stream.mu.html @@ -3,39 +3,31 @@ Mu - 076stream.mu - - + + - - + - - -
+
 # new type to help incrementally read texts (arrays of characters)
 container stream [
   index:number
   data:address:shared:array:character
 ]
 
-recipe new-stream s:address:shared:array:character -> result:address:shared:stream [
+def new-stream s:address:shared:array:character -> result:address:shared:stream [
   local-scope
   load-ingredients
   result <- new stream:type
@@ -45,14 +37,14 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; }
   *d <- copy s
 ]
 
-recipe rewind-stream in:address:shared:stream -> in:address:shared:stream [
+def rewind-stream in:address:shared:stream -> in:address:shared:stream [
   local-scope
   load-ingredients
   x:address:number <- get-address *in, index:offset
   *x <- copy 0
 ]
 
-recipe read-line in:address:shared:stream -> result:address:shared:array:character, in:address:shared:stream [
+def read-line in:address:shared:stream -> result:address:shared:array:character, in:address:shared:stream [
   local-scope
   load-ingredients
   idx:address:number <- get-address *in, index:offset
@@ -62,7 +54,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; }
   *idx <- add next-idx, 1  # skip newline
 ]
 
-recipe end-of-stream? in:address:shared:stream -> result:boolean [
+def end-of-stream? in:address:shared:stream -> result:boolean [
   local-scope
   load-ingredients
   idx:number <- get *in, index:offset
@@ -73,4 +65,3 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; }
 

 
 
-
-- 
cgit 1.4.1-2-gfad0