diff options
Diffstat (limited to 'html/076continuation.cc.html')
| -rw-r--r-- | html/076continuation.cc.html | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/html/076continuation.cc.html b/html/076continuation.cc.html index 3cb2541f..db9ae8c5 100644 --- a/html/076continuation.cc.html +++ b/html/076continuation.cc.html @@ -83,7 +83,7 @@ if ('onhashchange' in window) { <span id="L19" class="LineNr"> 19 </span>Type[continuation]<span class="Delimiter">.</span>name = <span class="Constant">"continuation"</span><span class="Delimiter">;</span> <span id="L20" class="LineNr"> 20 </span> <span id="L21" class="LineNr"> 21 </span><span class="Comment">//: A continuation can be called like a recipe.</span> -<span id="L22" class="LineNr"> 22 </span><span class="Delimiter">:(before "End <a href='071recipe.cc.html#L277'>is_mu_recipe</a> Atom Cases(r)")</span> +<span id="L22" class="LineNr"> 22 </span><span class="Delimiter">:(before "End <a href='072recipe.cc.html#L277'>is_mu_recipe</a> Atom Cases(r)")</span> <span id="L23" class="LineNr"> 23 </span><span class="Normal">if</span> <span class="Delimiter">(</span>r<span class="Delimiter">.</span>type<span class="Delimiter">-></span>name == <span class="Constant">"continuation"</span><span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">true</span><span class="Delimiter">;</span> <span id="L24" class="LineNr"> 24 </span> <span id="L25" class="LineNr"> 25 </span><span class="Comment">//: However, it can't be type-checked like most recipes. Pretend it's like a</span> @@ -119,11 +119,11 @@ if ('onhashchange' in window) { <span id="L55" class="LineNr"> 55 </span> <span class="Constant">23</span>:number<span class="Special"> <- </span>add <span class="Constant">22</span>:number<span class="Delimiter">,</span> <span class="Constant">1</span> <span id="L56" class="LineNr"> 56 </span> <span class="Identifier">return</span> <span class="Constant">23</span>:number <span id="L57" class="LineNr"> 57 </span>] -<span id="L58" class="LineNr"> 58 </span><span class="Comment"># first call of 'g' executes the part before reply-delimited-continuation</span> +<span id="L58" class="LineNr"> 58 </span><span class="Comment"># first call of 'g' executes the part before return-continuation-until-mark</span> <span id="L59" class="LineNr"> 59 </span><span class="traceContains">+mem: storing 77 in location 21</span> <span id="L60" class="LineNr"> 60 </span><span class="traceContains">+run: {2: "number"} <- copy {5: "literal"}</span> <span id="L61" class="LineNr"> 61 </span><span class="traceContains">+mem: storing 5 in location 2</span> -<span id="L62" class="LineNr"> 62 </span><span class="Comment"># calls of the continuation execute the part after reply-delimited-continuation</span> +<span id="L62" class="LineNr"> 62 </span><span class="Comment"># calls of the continuation execute the part after return-continuation-until-mark</span> <span id="L63" class="LineNr"> 63 </span><span class="traceContains">+run: {2: "number"} <- call {1: "continuation"}, {2: "number"}</span> <span id="L64" class="LineNr"> 64 </span><span class="traceContains">+mem: storing 5 in location 22</span> <span id="L65" class="LineNr"> 65 </span><span class="traceContains">+mem: storing 6 in location 2</span> @@ -133,9 +133,9 @@ if ('onhashchange' in window) { <span id="L69" class="LineNr"> 69 </span><span class="traceContains">+run: {2: "number"} <- call {1: "continuation"}, {2: "number"}</span> <span id="L70" class="LineNr"> 70 </span><span class="traceContains">+mem: storing 7 in location 22</span> <span id="L71" class="LineNr"> 71 </span><span class="traceContains">+mem: storing 8 in location 2</span> -<span id="L72" class="LineNr"> 72 </span><span class="Comment"># first call of 'g' does not execute the part after reply-delimited-continuation</span> +<span id="L72" class="LineNr"> 72 </span><span class="Comment"># first call of 'g' does not execute the part after return-continuation-until-mark</span> <span id="L73" class="LineNr"> 73 </span><span class="traceAbsent">-mem: storing 77 in location 22</span> -<span id="L74" class="LineNr"> 74 </span><span class="Comment"># calls of the continuation don't execute the part before reply-delimited-continuation</span> +<span id="L74" class="LineNr"> 74 </span><span class="Comment"># calls of the continuation don't execute the part before return-continuation-until-mark</span> <span id="L75" class="LineNr"> 75 </span><span class="traceAbsent">-mem: storing 5 in location 21</span> <span id="L76" class="LineNr"> 76 </span><span class="traceAbsent">-mem: storing 6 in location 21</span> <span id="L77" class="LineNr"> 77 </span><span class="traceAbsent">-mem: storing 7 in location 21</span> @@ -245,7 +245,7 @@ if ('onhashchange' in window) { <span id="L181" class="LineNr">181 </span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a><span class="Delimiter">(</span><span class="Constant">"trace"</span><span class="Delimiter">)</span> << <span class="Constant">"calling delimited continuation; growing callstack depth to "</span> << Trace_stream<span class="Delimiter">-></span>callstack_depth << <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span> <span id="L182" class="LineNr">182 </span> <span class="Conceal">¦</span> assert<span class="Delimiter">(</span>Trace_stream<span class="Delimiter">-></span>callstack_depth < <span class="Constant">9000</span><span class="Delimiter">);</span> <span class="Comment">// 9998-101 plus cushion</span> <span id="L183" class="LineNr">183 </span> <span class="Delimiter">}</span> -<span id="L184" class="LineNr">184 </span> ++current_step_index<span class="Delimiter">();</span> <span class="Comment">// skip past the reply-delimited-continuation</span> +<span id="L184" class="LineNr">184 </span> ++current_step_index<span class="Delimiter">();</span> <span class="Comment">// skip past the return-continuation-until-mark</span> <span id="L185" class="LineNr">185 </span> ingredients<span class="Delimiter">.</span>erase<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>begin<span class="Delimiter">());</span> <span class="Comment">// drop the callee</span> <span id="L186" class="LineNr">186 </span> finish_call_housekeeping<span class="Delimiter">(</span><a href='026call.cc.html#L84'>to_instruction</a><span class="Delimiter">(</span>caller<span class="Delimiter">),</span> ingredients<span class="Delimiter">);</span> <span id="L187" class="LineNr">187 </span> <span class="Identifier">continue</span><span class="Delimiter">;</span> |