diff options
Diffstat (limited to 'html/055shape_shifting_container.cc.html')
| -rw-r--r-- | html/055shape_shifting_container.cc.html | 106 |
1 files changed, 54 insertions, 52 deletions
diff --git a/html/055shape_shifting_container.cc.html b/html/055shape_shifting_container.cc.html index 42065f9c..eaaae3ae 100644 --- a/html/055shape_shifting_container.cc.html +++ b/html/055shape_shifting_container.cc.html @@ -13,16 +13,18 @@ pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } * { font-size: 12pt; font-size: 1em; } -.Constant { color: #00a0a0; } +.muData { color: #ffff00; } .Special { color: #c00000; } +.muRecipe { color: #ff8700; } .traceContains { color: #008000; } -.cSpecial { color: #008000; } .Comment { color: #9090ff; } .Delimiter { color: #800080; } .SalientComment { color: #00ffff; } .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; } .CommentedCode { color: #6c6c6c; } +.Constant { color: #00a0a0; } +.cSpecial { color: #008000; } --> </style> @@ -57,11 +59,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Normal">if</span> <span class="Delimiter">(</span>!base_type<span class="Delimiter">-></span>atom<span class="Delimiter">)</span> base_type = base_type<span class="Delimiter">-></span>left<span class="Delimiter">;</span> <span class="Delimiter">:(scenario size_of_shape_shifting_container)</span> -container foo:_t [ +<span class="muData">container</span> foo:_t [ <span class="Normal">x</span>:_t <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:num<span class="Special"> <- </span>merge <span class="Constant">12</span><span class="Delimiter">,</span> <span class="Constant">13</span> <span class="Constant">3</span>:foo:point<span class="Special"> <- </span>merge <span class="Constant">14</span><span class="Delimiter">,</span> <span class="Constant">15</span><span class="Delimiter">,</span> <span class="Constant">16</span> ] @@ -73,21 +75,21 @@ def main [ <span class="Delimiter">:(scenario size_of_shape_shifting_container_2)</span> <span class="Comment"># multiple type ingredients</span> -container foo:_a:_b [ +<span class="muData">container</span> foo:_a:_b [ <span class="Normal">x</span>:_a <span class="Normal">y</span>:_b ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:num:<span class="Normal">bool</span><span class="Special"> <- </span>merge <span class="Constant">34</span><span class="Delimiter">,</span> <span class="Constant">1</span>/<span class="Constant">true</span> ] $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario size_of_shape_shifting_container_3)</span> -container foo:_a:_b [ +<span class="muData">container</span> foo:_a:_b [ <span class="Normal">x</span>:_a <span class="Normal">y</span>:_b ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:text<span class="Special"> <- </span><span class="Normal">new</span> [abc] <span class="Comment"># compound types for type ingredients</span> <span class="Delimiter">{</span><span class="Constant">2</span>: <span class="Delimiter">(</span>foo number <span class="Delimiter">(</span>address array character<span class="Delimiter">))}</span><span class="Special"> <- </span>merge <span class="Constant">34</span>/x<span class="Delimiter">,</span> <span class="Constant">1</span>:text/y @@ -95,42 +97,42 @@ def main [ $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario size_of_shape_shifting_container_4)</span> -container foo:_a:_b [ +<span class="muData">container</span> foo:_a:_b [ <span class="Normal">x</span>:_a <span class="Normal">y</span>:_b ] -container bar:_a:_b [ +<span class="muData">container</span> bar:_a:_b [ <span class="Comment"># dilated element</span> <span class="Delimiter">{</span>data: <span class="Delimiter">(</span>foo _a <span class="Delimiter">(</span>address _b<span class="Delimiter">))}</span> ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:text<span class="Special"> <- </span><span class="Normal">new</span> [abc] <span class="Constant">2</span>:bar:num:@:<span class="Normal">char</span><span class="Special"> <- </span>merge <span class="Constant">34</span>/x<span class="Delimiter">,</span> <span class="Constant">1</span>:text/y ] $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario shape_shifting_container_extend)</span> -container foo:_a [ +<span class="muData">container</span> foo:_a [ <span class="Normal">x</span>:_a ] -container foo:_a [ +<span class="muData">container</span> foo:_a [ <span class="Normal">y</span>:_a ] $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario shape_shifting_container_extend_error)</span> <span class="Special">% Hide_errors = true;</span> -container foo:_a [ +<span class="muData">container</span> foo:_a [ <span class="Normal">x</span>:_a ] -container foo:_b [ +<span class="muData">container</span> foo:_b [ <span class="Normal">y</span>:_b ] <span class="traceContains">+error: headers of container 'foo' must use identical type ingredients</span> <span class="Delimiter">:(scenario type_ingredient_must_start_with_underscore)</span> <span class="Special">% Hide_errors = true;</span> -container foo:t [ +<span class="muData">container</span> foo:t [ <span class="Normal">x</span>:num ] <span class="traceContains">+error: foo: type ingredient 't' must begin with an underscore</span> @@ -236,11 +238,11 @@ map<string<span class="Delimiter">,</span> type_ordinal> type_ingredient_n <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Delimiter">:(scenario size_of_shape_shifting_exclusive_container)</span> -exclusive-container foo:_t [ +<span class="muData">exclusive-container</span> foo:_t [ <span class="Normal">x</span>:_t <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:num<span class="Special"> <- </span>merge <span class="Constant">0</span>/x<span class="Delimiter">,</span> <span class="Constant">34</span> <span class="Constant">3</span>:foo:point<span class="Special"> <- </span>merge <span class="Constant">0</span>/x<span class="Delimiter">,</span> <span class="Constant">15</span><span class="Delimiter">,</span> <span class="Constant">16</span> <span class="Constant">6</span>:foo:point<span class="Special"> <- </span>merge <span class="Constant">1</span>/y<span class="Delimiter">,</span> <span class="Constant">23</span> @@ -260,63 +262,63 @@ def main [ <span class="Special">% CHECK_EQ(trace_count_prefix("mem", "storing"), 7);</span> <span class="Delimiter">:(scenario get_on_shape_shifting_container)</span> -container foo:_t [ +<span class="muData">container</span> foo:_t [ <span class="Normal">x</span>:_t <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:point<span class="Special"> <- </span>merge <span class="Constant">14</span><span class="Delimiter">,</span> <span class="Constant">15</span><span class="Delimiter">,</span> <span class="Constant">16</span> - <span class="Constant">2</span>:num<span class="Special"> <- </span>get <span class="Constant">1</span>:foo:point<span class="Delimiter">,</span> y:offset + <span class="Constant">2</span>:num<span class="Special"> <- </span>get <span class="Constant">1</span>:foo:point<span class="Delimiter">,</span> <span class="Constant">y:offset</span> ] <span class="traceContains">+mem: storing 16 in location 2</span> <span class="Delimiter">:(scenario get_on_shape_shifting_container_2)</span> -container foo:_t [ +<span class="muData">container</span> foo:_t [ <span class="Normal">x</span>:_t <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:point<span class="Special"> <- </span>merge <span class="Constant">14</span><span class="Delimiter">,</span> <span class="Constant">15</span><span class="Delimiter">,</span> <span class="Constant">16</span> - <span class="Constant">2</span>:point<span class="Special"> <- </span>get <span class="Constant">1</span>:foo:point<span class="Delimiter">,</span> x:offset + <span class="Constant">2</span>:point<span class="Special"> <- </span>get <span class="Constant">1</span>:foo:point<span class="Delimiter">,</span> <span class="Constant">x:offset</span> ] <span class="traceContains">+mem: storing 14 in location 2</span> <span class="traceContains">+mem: storing 15 in location 3</span> <span class="Delimiter">:(scenario get_on_shape_shifting_container_3)</span> -container foo:_t [ +<span class="muData">container</span> foo:_t [ <span class="Normal">x</span>:_t <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:&:point<span class="Special"> <- </span>merge <span class="Constant">34</span>/unsafe<span class="Delimiter">,</span> <span class="Constant">48</span> - <span class="Constant">3</span>:&:point<span class="Special"> <- </span>get <span class="Constant">1</span>:foo:&:point<span class="Delimiter">,</span> x:offset + <span class="Constant">3</span>:&:point<span class="Special"> <- </span>get <span class="Constant">1</span>:foo:&:point<span class="Delimiter">,</span> <span class="Constant">x:offset</span> ] <span class="traceContains">+mem: storing 34 in location 3</span> <span class="Delimiter">:(scenario get_on_shape_shifting_container_inside_container)</span> -container foo:_t [ +<span class="muData">container</span> foo:_t [ <span class="Normal">x</span>:_t <span class="Normal">y</span>:num ] -container bar [ +<span class="muData">container</span> bar [ <span class="Normal">x</span>:foo:point <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:bar<span class="Special"> <- </span>merge <span class="Constant">14</span><span class="Delimiter">,</span> <span class="Constant">15</span><span class="Delimiter">,</span> <span class="Constant">16</span><span class="Delimiter">,</span> <span class="Constant">17</span> - <span class="Constant">2</span>:num<span class="Special"> <- </span>get <span class="Constant">1</span>:bar<span class="Delimiter">,</span> <span class="Constant">1</span>:offset + <span class="Constant">2</span>:num<span class="Special"> <- </span>get <span class="Constant">1</span>:bar<span class="Delimiter">,</span> <span class="Constant">1:offset</span> ] <span class="traceContains">+mem: storing 17 in location 2</span> <span class="Delimiter">:(scenario get_on_complex_shape_shifting_container)</span> -container foo:_a:_b [ +<span class="muData">container</span> foo:_a:_b [ <span class="Normal">x</span>:_a <span class="Normal">y</span>:_b ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:text<span class="Special"> <- </span><span class="Normal">new</span> [abc] <span class="Delimiter">{</span><span class="Constant">2</span>: <span class="Delimiter">(</span>foo number <span class="Delimiter">(</span>address array character<span class="Delimiter">))}</span><span class="Special"> <- </span>merge <span class="Constant">34</span>/x<span class="Delimiter">,</span> <span class="Constant">1</span>:text/y - <span class="Constant">3</span>:text<span class="Special"> <- </span>get <span class="Delimiter">{</span><span class="Constant">2</span>: <span class="Delimiter">(</span>foo number <span class="Delimiter">(</span>address array character<span class="Delimiter">))},</span> y:offset + <span class="Constant">3</span>:text<span class="Special"> <- </span>get <span class="Delimiter">{</span><span class="Constant">2</span>: <span class="Delimiter">(</span>foo number <span class="Delimiter">(</span>address array character<span class="Delimiter">))},</span> <span class="Constant">y:offset</span> <span class="Constant">4</span>:<span class="Normal">bool</span><span class="Special"> <- </span>equal <span class="Constant">1</span>:text<span class="Delimiter">,</span> <span class="Constant">3</span>:text ] <span class="traceContains">+mem: storing 1 in location 4</span> @@ -507,13 +509,13 @@ assert<span class="Delimiter">(</span>!contains_type_ingredient<span class="Deli <span class="Delimiter">:(scenario get_on_shape_shifting_container_error)</span> <span class="Special">% Hide_errors = true;</span> -container foo:_t [ +<span class="muData">container</span> foo:_t [ <span class="Normal">x</span>:_t <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">10</span>:foo:point<span class="Special"> <- </span>merge <span class="Constant">14</span><span class="Delimiter">,</span> <span class="Constant">15</span><span class="Delimiter">,</span> <span class="Constant">16</span> - <span class="Constant">1</span>:num<span class="Special"> <- </span>get <span class="Constant">10</span>:foo<span class="Delimiter">,</span> <span class="Constant">1</span>:offset + <span class="Constant">1</span>:num<span class="Special"> <- </span>get <span class="Constant">10</span>:foo<span class="Delimiter">,</span> <span class="Constant">1:offset</span> ] <span class="traceContains">+error: illegal type "foo" seems to be missing a type ingredient or three</span> @@ -641,15 +643,15 @@ type_info& info = get<span class="Delimiter">(</span>Type<span class="Delimi <span class="SalientComment">//:: 'merge' on shape-shifting containers</span> <span class="Delimiter">:(scenario merge_check_shape_shifting_container_containing_exclusive_container)</span> -container foo:_elem [ +<span class="muData">container</span> foo:_elem [ <span class="Normal">x</span>:num <span class="Normal">y</span>:_elem ] -exclusive-container bar [ +<span class="muData">exclusive-container</span> bar [ <span class="Normal">x</span>:num <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:bar<span class="Special"> <- </span>merge <span class="Constant">23</span><span class="Delimiter">,</span> <span class="Constant">1</span>/y<span class="Delimiter">,</span> <span class="Constant">34</span> ] <span class="traceContains">+mem: storing 23 in location 1</span> @@ -659,29 +661,29 @@ $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario merge_check_shape_shifting_container_containing_exclusive_container_2)</span> <span class="Special">% Hide_errors = true;</span> -container foo:_elem [ +<span class="muData">container</span> foo:_elem [ <span class="Normal">x</span>:num <span class="Normal">y</span>:_elem ] -exclusive-container bar [ +<span class="muData">exclusive-container</span> bar [ <span class="Normal">x</span>:num <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:bar<span class="Special"> <- </span>merge <span class="Constant">23</span><span class="Delimiter">,</span> <span class="Constant">1</span>/y<span class="Delimiter">,</span> <span class="Constant">34</span><span class="Delimiter">,</span> <span class="Constant">35</span> ] <span class="traceContains">+error: main: too many ingredients in '1:foo:bar <- merge 23, 1/y, 34, 35'</span> <span class="Delimiter">:(scenario merge_check_shape_shifting_exclusive_container_containing_container)</span> -exclusive-container foo:_elem [ +<span class="muData">exclusive-container</span> foo:_elem [ <span class="Normal">x</span>:num <span class="Normal">y</span>:_elem ] -container bar [ +<span class="muData">container</span> bar [ <span class="Normal">x</span>:num <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:bar<span class="Special"> <- </span>merge <span class="Constant">1</span>/y<span class="Delimiter">,</span> <span class="Constant">23</span><span class="Delimiter">,</span> <span class="Constant">34</span> ] <span class="traceContains">+mem: storing 1 in location 1</span> @@ -690,30 +692,30 @@ def main [ $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario merge_check_shape_shifting_exclusive_container_containing_container_2)</span> -exclusive-container foo:_elem [ +<span class="muData">exclusive-container</span> foo:_elem [ <span class="Normal">x</span>:num <span class="Normal">y</span>:_elem ] -container bar [ +<span class="muData">container</span> bar [ <span class="Normal">x</span>:num <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:bar<span class="Special"> <- </span>merge <span class="Constant">0</span>/x<span class="Delimiter">,</span> <span class="Constant">23</span> ] $error: <span class="Constant">0</span> <span class="Delimiter">:(scenario merge_check_shape_shifting_exclusive_container_containing_container_3)</span> <span class="Special">% Hide_errors = true;</span> -exclusive-container foo:_elem [ +<span class="muData">exclusive-container</span> foo:_elem [ <span class="Normal">x</span>:num <span class="Normal">y</span>:_elem ] -container bar [ +<span class="muData">container</span> bar [ <span class="Normal">x</span>:num <span class="Normal">y</span>:num ] -def main [ +<span class="muRecipe">def</span> main [ <span class="Constant">1</span>:foo:bar<span class="Special"> <- </span>merge <span class="Constant">1</span>/y<span class="Delimiter">,</span> <span class="Constant">23</span> ] <span class="traceContains">+error: main: too few ingredients in '1:foo:bar <- merge 1/y, 23'</span> |