From 9e91a21ef385e33ca373e4308ca3227c228fe09b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 25 Feb 2016 22:18:05 -0800 Subject: 2710 --- html/070text.mu.html | 5 ----- 1 file changed, 5 deletions(-) (limited to 'html/070text.mu.html') diff --git a/html/070text.mu.html b/html/070text.mu.html index 4c802574..15dddd92 100644 --- a/html/070text.mu.html +++ b/html/070text.mu.html @@ -20,7 +20,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.CommentedCode { color: #6c6c6c; } .Delimiter { color: #a04060; } --> @@ -47,7 +46,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } recipe to-text x:address:shared:array:character -> y:address:shared:array:character [ local-scope load-ingredients -#? $print [to-text text], 10/newline reply x ] @@ -198,7 +196,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } # most broadly applicable definition of append to a buffer: just call to-text recipe append buf:address:shared:buffer, x:_elem -> buf:address:shared:buffer [ local-scope -#? $print [append _elem to buffer], 10/newline load-ingredients text:address:shared:array:character <- to-text x len:number <- length *text @@ -215,7 +212,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } recipe append in:address:shared:buffer, c:character -> in:address:shared:buffer [ local-scope -#? $print [append character to buffer], 10/newline load-ingredients len:address:number <- get-address *in, length:offset { @@ -427,7 +423,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } recipe append a:address:shared:array:character, b:address:shared:array:character -> result:address:shared:array:character [ local-scope -#? $print [append text to text], 10/newline load-ingredients # result = new character[a.length + b.length] a-len:number <- length *a -- cgit 1.4.1-2-gfad0