diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-11-01 03:41:16 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-11-01 03:41:16 -0700 |
commit | 850822ffbfd441d05161452be28b54f882b1b378 (patch) | |
tree | 7f2cb2ac13e4f64e48fee3f060d83c95b349d5e3 /html/021check_instruction.cc.html | |
parent | a6fe8e274683c14efc6585b1b566afe9abfea7d1 (diff) | |
download | mu-850822ffbfd441d05161452be28b54f882b1b378.tar.gz |
4102
Diffstat (limited to 'html/021check_instruction.cc.html')
-rw-r--r-- | html/021check_instruction.cc.html | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/html/021check_instruction.cc.html b/html/021check_instruction.cc.html index d9d3a922..f4f738ab 100644 --- a/html/021check_instruction.cc.html +++ b/html/021check_instruction.cc.html @@ -130,14 +130,14 @@ if ('onhashchange' in window) { <span id="L67" class="LineNr"> 67 </span><span class="Delimiter">:(scenario write_scalar_to_address_disallowed)</span> <span id="L68" class="LineNr"> 68 </span><span class="Special">% Hide_errors = true;</span> <span id="L69" class="LineNr"> 69 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ -<span id="L70" class="LineNr"> 70 </span> <span class="Constant">1</span>:address:num<span class="Special"> <- </span>copy <span class="Constant">34</span> +<span id="L70" class="LineNr"> 70 </span> <span class="Constant">1</span>:<a href='043space.cc.html#L83'>address</a>:num<span class="Special"> <- </span>copy <span class="Constant">34</span> <span id="L71" class="LineNr"> 71 </span>] -<span id="L72" class="LineNr"> 72 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: can't copy '34' to '1:address:num'; types don't match</span> +<span id="L72" class="LineNr"> 72 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: can't copy '34' to '1:<a href='043space.cc.html#L83'>address</a>:num'; types don't match</span> <span id="L73" class="LineNr"> 73 </span> <span id="L74" class="LineNr"> 74 </span><span class="Delimiter">:(scenario write_address_to_number_allowed)</span> <span id="L75" class="LineNr"> 75 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ -<span id="L76" class="LineNr"> 76 </span> <span class="Constant">1</span>:address:num<span class="Special"> <- </span>copy <span class="Constant">12</span>/unsafe -<span id="L77" class="LineNr"> 77 </span> <span class="Constant">2</span>:num<span class="Special"> <- </span>copy <span class="Constant">1</span>:address:num +<span id="L76" class="LineNr"> 76 </span> <span class="Constant">1</span>:<a href='043space.cc.html#L83'>address</a>:num<span class="Special"> <- </span>copy <span class="Constant">12</span>/unsafe +<span id="L77" class="LineNr"> 77 </span> <span class="Constant">2</span>:num<span class="Special"> <- </span>copy <span class="Constant">1</span>:<a href='043space.cc.html#L83'>address</a>:num <span id="L78" class="LineNr"> 78 </span>] <span id="L79" class="LineNr"> 79 </span><span class="traceContains">+mem: storing 12 in location 2</span> <span id="L80" class="LineNr"> 80 </span>$error: <span class="Constant">0</span> @@ -145,10 +145,10 @@ if ('onhashchange' in window) { <span id="L82" class="LineNr"> 82 </span><span class="Delimiter">:(scenario write_address_to_character_disallowed)</span> <span id="L83" class="LineNr"> 83 </span><span class="Special">% Hide_errors = true;</span> <span id="L84" class="LineNr"> 84 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ -<span id="L85" class="LineNr"> 85 </span> <span class="Constant">1</span>:address:num<span class="Special"> <- </span>copy <span class="Constant">12</span>/unsafe -<span id="L86" class="LineNr"> 86 </span> <span class="Constant">2</span>:<span class="Normal">char</span><span class="Special"> <- </span>copy <span class="Constant">1</span>:address:num +<span id="L85" class="LineNr"> 85 </span> <span class="Constant">1</span>:<a href='043space.cc.html#L83'>address</a>:num<span class="Special"> <- </span>copy <span class="Constant">12</span>/unsafe +<span id="L86" class="LineNr"> 86 </span> <span class="Constant">2</span>:<span class="Normal">char</span><span class="Special"> <- </span>copy <span class="Constant">1</span>:<a href='043space.cc.html#L83'>address</a>:num <span id="L87" class="LineNr"> 87 </span>] -<span id="L88" class="LineNr"> 88 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: can't copy '1:address:num' to '2:char'; types don't match</span> +<span id="L88" class="LineNr"> 88 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: can't copy '1:<a href='043space.cc.html#L83'>address</a>:num' to '2:char'; types don't match</span> <span id="L89" class="LineNr"> 89 </span> <span id="L90" class="LineNr"> 90 </span><span class="Delimiter">:(scenario write_boolean_to_number_allowed)</span> <span id="L91" class="LineNr"> 91 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ @@ -239,10 +239,10 @@ if ('onhashchange' in window) { <span id="L176" class="LineNr">176 </span><span class="Normal">void</span> <a href='021check_instruction.cc.html#L176'>test_type_abbreviations_match_raw_types</a><span class="Delimiter">()</span> <span class="Delimiter">{</span> <span id="L177" class="LineNr">177 </span> <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Type_abbreviations<span class="Delimiter">,</span> <span class="Constant">"text"</span><span class="Delimiter">,</span> <a href='018type_abbreviations.cc.html#L58'>new_type_tree</a><span class="Delimiter">(</span><span class="Constant">"address:array:character"</span><span class="Delimiter">));</span> <span id="L178" class="LineNr">178 </span> <span class="Comment">// a has type (address buffer (address array character))</span> -<span id="L179" class="LineNr">179 </span> reagent a<span class="Delimiter">(</span><span class="Constant">"a:address:buffer:text"</span><span class="Delimiter">);</span> +<span id="L179" class="LineNr">179 </span> reagent a<span class="Delimiter">(</span><span class="Constant">"a:<a href='043space.cc.html#L83'>address</a>:buffer:text"</span><span class="Delimiter">);</span> <span id="L180" class="LineNr">180 </span> expand_type_abbreviations<span class="Delimiter">(</span>a<span class="Delimiter">.</span>type<span class="Delimiter">);</span> <span id="L181" class="LineNr">181 </span> <span class="Comment">// b has type (address buffer address array character)</span> -<span id="L182" class="LineNr">182 </span> reagent b<span class="Delimiter">(</span><span class="Constant">"b:address:buffer:address:array:character"</span><span class="Delimiter">);</span> +<span id="L182" class="LineNr">182 </span> reagent b<span class="Delimiter">(</span><span class="Constant">"b:<a href='043space.cc.html#L83'>address</a>:buffer:<a href='043space.cc.html#L83'>address</a>:array:character"</span><span class="Delimiter">);</span> <span id="L183" class="LineNr">183 </span> <a href='002test.cc.html#L24'>CHECK</a><span class="Delimiter">(</span>types_strictly_match<span class="Delimiter">(</span>a<span class="Delimiter">,</span> b<span class="Delimiter">));</span> <span id="L184" class="LineNr">184 </span> <span class="Normal">delete</span> Type_abbreviations[<span class="Constant">"text"</span>]<span class="Delimiter">;</span> <span id="L185" class="LineNr">185 </span> <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Type_abbreviations<span class="Delimiter">,</span> <span class="Constant">"text"</span><span class="Delimiter">,</span> <span class="Constant">NULL</span><span class="Delimiter">);</span> @@ -263,7 +263,7 @@ if ('onhashchange' in window) { <span id="L200" class="LineNr">200 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>is_literal<span class="Delimiter">(</span>type<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> <span id="L201" class="LineNr">201 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>type<span class="Delimiter">-></span>atom<span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> <span id="L202" class="LineNr">202 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!type<span class="Delimiter">-></span>left<span class="Delimiter">-></span>atom<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L203" class="LineNr">203 </span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> << <span class="Constant">"invalid type "</span> << <a href='028call_return.cc.html#L158'>to_string</a><span class="Delimiter">(</span>type<span class="Delimiter">)</span> << <span class="cSpecial">'\n'</span> << <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span> +<span id="L203" class="LineNr">203 </span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> << <span class="Constant">"invalid type "</span> << <a href='028call_return.cc.html#L162'>to_string</a><span class="Delimiter">(</span>type<span class="Delimiter">)</span> << <span class="cSpecial">'\n'</span> << <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span> <span id="L204" class="LineNr">204 </span> <span class="Conceal">¦</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> <span id="L205" class="LineNr">205 </span> <span class="Delimiter">}</span> <span id="L206" class="LineNr">206 </span> <span class="Identifier">return</span> type<span class="Delimiter">-></span>left<span class="Delimiter">-></span>value == get<span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> <span class="Constant">"array"</span><span class="Delimiter">);</span> @@ -278,7 +278,7 @@ if ('onhashchange' in window) { <span id="L215" class="LineNr">215 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>is_literal<span class="Delimiter">(</span>type<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> <span id="L216" class="LineNr">216 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>type<span class="Delimiter">-></span>atom<span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> <span id="L217" class="LineNr">217 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!type<span class="Delimiter">-></span>left<span class="Delimiter">-></span>atom<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L218" class="LineNr">218 </span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> << <span class="Constant">"invalid type "</span> << <a href='028call_return.cc.html#L158'>to_string</a><span class="Delimiter">(</span>type<span class="Delimiter">)</span> << <span class="cSpecial">'\n'</span> << <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span> +<span id="L218" class="LineNr">218 </span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> << <span class="Constant">"invalid type "</span> << <a href='028call_return.cc.html#L162'>to_string</a><span class="Delimiter">(</span>type<span class="Delimiter">)</span> << <span class="cSpecial">'\n'</span> << <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span> <span id="L219" class="LineNr">219 </span> <span class="Conceal">¦</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> <span id="L220" class="LineNr">220 </span> <span class="Delimiter">}</span> <span id="L221" class="LineNr">221 </span> <span class="Identifier">return</span> type<span class="Delimiter">-></span>left<span class="Delimiter">-></span>value == get<span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> <span class="Constant">"address"</span><span class="Delimiter">);</span> |