diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 22:18:05 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 22:18:05 -0800 |
commit | 9e91a21ef385e33ca373e4308ca3227c228fe09b (patch) | |
tree | 55b97647b182d2acddc1413cccdaf7e2c99b480e /html/060immutable.cc.html | |
parent | a3a0574f17424cb67c1be120b01d6b57771bbbfe (diff) | |
download | mu-9e91a21ef385e33ca373e4308ca3227c228fe09b.tar.gz |
2710
Diffstat (limited to 'html/060immutable.cc.html')
-rw-r--r-- | html/060immutable.cc.html | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/html/060immutable.cc.html b/html/060immutable.cc.html index 0b8e2845..167e28b6 100644 --- a/html/060immutable.cc.html +++ b/html/060immutable.cc.html @@ -35,7 +35,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } <span class="Comment">//: also products. This layer will start enforcing this check.</span> <span class="Delimiter">:(scenario can_modify_value_ingredients)</span> -<span class="Special">% Hide_errors = true;</span> recipe main [ local-scope p:address:shared:point<span class="Special"> <- </span>new point:type @@ -50,7 +49,6 @@ recipe foo p:point [ $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario can_modify_ingredients_that_are_also_products)</span> -<span class="Special">% Hide_errors = true;</span> recipe main [ local-scope p:address:shared:point<span class="Special"> <- </span>new point:type @@ -65,7 +63,6 @@ recipe foo p:address:shared:point <span class="Delimiter">-></span> p:address $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario ignore_literal_ingredients_for_immutability_checks)</span> -<span class="Special">% Hide_errors = true;</span> recipe main [ local-scope p:address:shared:d1<span class="Special"> <- </span>new d1:type @@ -135,7 +132,6 @@ recipe foo p:address:shared:point [ <span class="traceContains">+error: foo: cannot modify q after instruction 'x:address:number <- get-address *q, x:offset' because that would modify ingredient p which is not also a product of foo</span> <span class="Delimiter">:(scenario can_traverse_immutable_ingredients)</span> -<span class="Special">% Hide_errors = true;</span> container test-list [ next:address:shared:test-list ] @@ -157,7 +153,6 @@ recipe bar x:address:shared:test-list <span class="Delimiter">-></span> y:add $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario handle_optional_ingredients_in_immutability_checks)</span> -<span class="Special">% Hide_errors = true;</span> recipe main [ k:address:shared:number<span class="Special"> <- </span>new number:type test k @@ -343,7 +338,6 @@ set<long long int> ingredient_indices<span class="Delimiter">(</span>const <span class="Delimiter">:(scenarios transform)</span> <span class="Delimiter">:(scenario can_modify_contained_in_addresses)</span> -<span class="Special">% Hide_errors = true;</span> container test-list [ next:address:shared:test-list ] |