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/044space_surround.cc.html | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'html/044space_surround.cc.html') diff --git a/html/044space_surround.cc.html b/html/044space_surround.cc.html index 66db51b3..bd9f07ef 100644 --- a/html/044space_surround.cc.html +++ b/html/044space_surround.cc.html @@ -42,16 +42,16 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color # location 1 in space 1 refers to the space surrounding the default space, here 20. def main [ # pretend address:array:location; in practice we'll use new - 10:number <- copy 0 # refcount - 11:number <- copy 5 # length + 10:num <- copy 0 # refcount + 11:num <- copy 5 # length # pretend address:array:location; in practice we'll use new - 20:number <- copy 0 # refcount - 21:number <- copy 5 # length + 20:num <- copy 0 # refcount + 21:num <- copy 5 # length # actual start of this recipe - default-space:address:array:location <- copy 10/unsafe - 0:address:array:location/names:dummy <- copy 20/unsafe # later layers will explain the /names: property - 1:number <- copy 32 - 1:number/space:1 <- copy 33 + default-space:space <- copy 10/unsafe + 0:space/names:dummy <- copy 20/unsafe # later layers will explain the /names: property + 1:num <- copy 32 + 1:num/space:1 <- copy 33 ] def dummy [ # just for the /names: property above ] @@ -95,7 +95,7 @@ def dummy [ # just for the /names: property above :(scenario permit_space_as_variable_name) def main [ - space:number <- copy 0 + space:num <- copy 0 ] -- cgit 1.4.1-2-gfad0