From 850822ffbfd441d05161452be28b54f882b1b378 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 1 Nov 2017 03:41:16 -0700 Subject: 4102 --- html/057immutable.cc.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'html/057immutable.cc.html') diff --git a/html/057immutable.cc.html b/html/057immutable.cc.html index 50e9ad43..5058f120 100644 --- a/html/057immutable.cc.html +++ b/html/057immutable.cc.html @@ -298,7 +298,7 @@ if ('onhashchange' in window) { 234 def foo a:&:@:&:num [ 235 local-scope 236 load-ingredients -237 b:&:@:&:num <- new {(address number): type}, 3 +237 b:&:@:&:num <- new {(address number): type}, 3 238 # modify b, completely unrelated to immutable ingredient a 239 x:&:num <- index *b, 0 240 *x <- copy 34 @@ -380,16 +380,16 @@ if ('onhashchange' in window) { 316 //: when checking for immutable ingredients, remember to take space into account 317 :(scenario check_space_of_reagents_in_immutability_checks) 318 def main [ -319 a:space <- new-closure +319 a:space/names:new-closure <- new-closure 320 b:&:num <- new number:type 321 run-closure b:&:num, a:space 322 ] 323 def new-closure [ -324 new-default-space +324 local-scope 325 x:&:num <- new number:type -326 return default-space +326 return default-space/names:new-closure 327 ] -328 def run-closure x:&:num, s:space [ +328 def run-closure x:&:num, s:space/names:new-closure [ 329 local-scope 330 load-ingredients 331 0:space/names:new-closure <- copy s -- cgit 1.4.1-2-gfad0