diff options
Diffstat (limited to 'html/021check_instruction.cc.html')
| -rw-r--r-- | html/021check_instruction.cc.html | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/html/021check_instruction.cc.html b/html/021check_instruction.cc.html index f4f738ab..8c0e076e 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>:<a href='043space.cc.html#L83'>address</a>: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#L82'>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:<a href='043space.cc.html#L83'>address</a>: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#L82'>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>:<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="L76" class="LineNr"> 76 </span> <span class="Constant">1</span>:<a href='043space.cc.html#L82'>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#L82'>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>:<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="L85" class="LineNr"> 85 </span> <span class="Constant">1</span>:<a href='043space.cc.html#L82'>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#L82'>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:<a href='043space.cc.html#L83'>address</a>: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#L82'>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:<a href='043space.cc.html#L83'>address</a>: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#L82'>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:<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="L182" class="LineNr">182 </span> reagent b<span class="Delimiter">(</span><span class="Constant">"b:<a href='043space.cc.html#L82'>address</a>:buffer:<a href='043space.cc.html#L82'>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> |