From f344b250f6f062a1a1902bf69b23ebf9b565de0e Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 17 Sep 2016 15:01:51 -0700 Subject: 3395 --- html/059to_text.mu.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'html/059to_text.mu.html') diff --git a/html/059to_text.mu.html b/html/059to_text.mu.html index b050f5e9..820a9b47 100644 --- a/html/059to_text.mu.html +++ b/html/059to_text.mu.html @@ -44,7 +44,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] # variant for arrays (since we can't pass them around otherwise) -def array-to-text-line x:address:array:_elem -> y:text [ +def array-to-text-line x:&:@:_elem -> y:text [ local-scope load-ingredients y <- to-text *x @@ -56,13 +56,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] scenario array-to-text-line-early-warning-for-static-dispatch [ - n:address:array:number <- new number:type, 3 + n:&:@:num <- new number:type, 3 x:text <- array-to-text-line n # just ensure there were no errors ] # finally, a specialization for single characters -def to-text c:character -> y:text [ +def to-text c:char -> y:text [ local-scope load-ingredients y <- new character:type, 1/capacity @@ -70,9 +70,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] scenario character-to-text [ - 1:character <- copy 111/o - 2:text <- to-text 1:character - 3:array:character <- copy *2:text + 1:char <- copy 111/o + 2:text <- to-text 1:char + 3:@:char <- copy *2:text memory-should-contain [ 3:array:character <- [o] ] -- cgit 1.4.1-2-gfad0