diff options
Diffstat (limited to 'html/lambda-to-mu.mu.html')
| -rw-r--r-- | html/lambda-to-mu.mu.html | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html index 3a15158f..978ba9fb 100644 --- a/html/lambda-to-mu.mu.html +++ b/html/lambda-to-mu.mu.html @@ -240,12 +240,12 @@ if ('onhashchange' in window) { <span id="L176" class="LineNr">176 </span><span class="muRecipe">def</span> parse in:text<span class="muRecipe"> -> </span>out:&:<a href='lambda-to-mu.mu.html#L31'>cell</a> [ <span id="L177" class="LineNr">177 </span> <span class="Constant">local-scope</span> <span id="L178" class="LineNr">178 </span> <span class="Constant">load-ingredients</span> -<span id="L179" class="LineNr">179 </span> s:&:stream:char <span class="Special"><-</span> <a href='066stream.mu.html#L7'>new-stream</a> in +<span id="L179" class="LineNr">179 </span> s:&:<a href='066stream.mu.html#L2'>stream</a>:char <span class="Special"><-</span> <a href='066stream.mu.html#L7'>new-stream</a> in <span id="L180" class="LineNr">180 </span> out, s <span class="Special"><-</span> parse s <span id="L181" class="LineNr">181 </span> trace<span class="Constant"> 2</span>, <span class="Constant">[app/parse]</span>, out <span id="L182" class="LineNr">182 </span>] <span id="L183" class="LineNr">183 </span> -<span id="L184" class="LineNr">184 </span><span class="muRecipe">def</span> parse in:&:stream:char<span class="muRecipe"> -> </span>out:&:<a href='lambda-to-mu.mu.html#L31'>cell</a>, in:&:stream:char [ +<span id="L184" class="LineNr">184 </span><span class="muRecipe">def</span> parse in:&:<a href='066stream.mu.html#L2'>stream</a>:char<span class="muRecipe"> -> </span>out:&:<a href='lambda-to-mu.mu.html#L31'>cell</a>, in:&:<a href='066stream.mu.html#L2'>stream</a>:char [ <span id="L185" class="LineNr">185 </span> <span class="Constant">local-scope</span> <span id="L186" class="LineNr">186 </span> <span class="Constant">load-ingredients</span> <span id="L187" class="LineNr">187 </span> <span class="Comment"># skip whitespace</span> @@ -256,7 +256,7 @@ if ('onhashchange' in window) { <span id="L192" class="LineNr">192 </span> <span class="Delimiter">{</span> <span id="L193" class="LineNr">193 </span> <span class="Conceal">¦</span> <span class="muControl">break-if</span> pair? <span id="L194" class="LineNr">194 </span> <span class="Conceal">¦</span> <span class="Comment"># atom</span> -<span id="L195" class="LineNr">195 </span> <span class="Conceal">¦</span> buf:&:buffer <span class="Special"><-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span> +<span id="L195" class="LineNr">195 </span> <span class="Conceal">¦</span> buf:&:<a href='061text.mu.html#L126'>buffer</a> <span class="Special"><-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span> <span id="L196" class="LineNr">196 </span> <span class="Conceal">¦</span> <span class="Delimiter">{</span> <span id="L197" class="LineNr">197 </span> <span class="Conceal">¦</span> <span class="Conceal">¦</span> done?:bool <span class="Special"><-</span> <a href='066stream.mu.html#L72'>end-of-stream?</a> in <span id="L198" class="LineNr">198 </span> <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="muControl">break-if</span> done? @@ -335,7 +335,7 @@ if ('onhashchange' in window) { <span id="L271" class="LineNr">271 </span> <span class="Delimiter">}</span> <span id="L272" class="LineNr">272 </span>] <span id="L273" class="LineNr">273 </span> -<span id="L274" class="LineNr">274 </span><span class="muRecipe">def</span> <a href='lambda-to-mu.mu.html#L274'>skip-whitespace</a> in:&:stream:char<span class="muRecipe"> -> </span>in:&:stream:char [ +<span id="L274" class="LineNr">274 </span><span class="muRecipe">def</span> <a href='lambda-to-mu.mu.html#L274'>skip-whitespace</a> in:&:<a href='066stream.mu.html#L2'>stream</a>:char<span class="muRecipe"> -> </span>in:&:<a href='066stream.mu.html#L2'>stream</a>:char [ <span id="L275" class="LineNr">275 </span> <span class="Constant">local-scope</span> <span id="L276" class="LineNr">276 </span> <span class="Constant">load-ingredients</span> <span id="L277" class="LineNr">277 </span> <span class="Delimiter">{</span> @@ -352,12 +352,12 @@ if ('onhashchange' in window) { <span id="L288" class="LineNr">288 </span><span class="muRecipe">def</span> to-text x:&:<a href='lambda-to-mu.mu.html#L31'>cell</a><span class="muRecipe"> -> </span>out:text [ <span id="L289" class="LineNr">289 </span> <span class="Constant">local-scope</span> <span id="L290" class="LineNr">290 </span> <span class="Constant">load-ingredients</span> -<span id="L291" class="LineNr">291 </span> buf:&:buffer <span class="Special"><-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span> +<span id="L291" class="LineNr">291 </span> buf:&:<a href='061text.mu.html#L126'>buffer</a> <span class="Special"><-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span> <span id="L292" class="LineNr">292 </span> buf <span class="Special"><-</span> to-buffer x, buf <span id="L293" class="LineNr">293 </span> out <span class="Special"><-</span> <a href='061text.mu.html#L328'>buffer-to-array</a> buf <span id="L294" class="LineNr">294 </span>] <span id="L295" class="LineNr">295 </span> -<span id="L296" class="LineNr">296 </span><span class="muRecipe">def</span> to-buffer x:&:<a href='lambda-to-mu.mu.html#L31'>cell</a>, buf:&:buffer<span class="muRecipe"> -> </span>buf:&:buffer [ +<span id="L296" class="LineNr">296 </span><span class="muRecipe">def</span> to-buffer x:&:<a href='lambda-to-mu.mu.html#L31'>cell</a>, buf:&:<a href='061text.mu.html#L126'>buffer</a><span class="muRecipe"> -> </span>buf:&:<a href='061text.mu.html#L126'>buffer</a> [ <span id="L297" class="LineNr">297 </span> <span class="Constant">local-scope</span> <span id="L298" class="LineNr">298 </span> <span class="Constant">load-ingredients</span> <span id="L299" class="LineNr">299 </span> <span class="Comment"># base case: empty cell</span> @@ -639,12 +639,12 @@ if ('onhashchange' in window) { <span id="L575" class="LineNr">575 </span><span class="muRecipe">def</span> to-mu in:&:<a href='lambda-to-mu.mu.html#L31'>cell</a><span class="muRecipe"> -> </span>out:text [ <span id="L576" class="LineNr">576 </span> <span class="Constant">local-scope</span> <span id="L577" class="LineNr">577 </span> <span class="Constant">load-ingredients</span> -<span id="L578" class="LineNr">578 </span> buf:&:buffer <span class="Special"><-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span> +<span id="L578" class="LineNr">578 </span> buf:&:<a href='061text.mu.html#L126'>buffer</a> <span class="Special"><-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span> <span id="L579" class="LineNr">579 </span> buf <span class="Special"><-</span> to-mu in, buf <span id="L580" class="LineNr">580 </span> out <span class="Special"><-</span> <a href='061text.mu.html#L328'>buffer-to-array</a> buf <span id="L581" class="LineNr">581 </span>] <span id="L582" class="LineNr">582 </span> -<span id="L583" class="LineNr">583 </span><span class="muRecipe">def</span> to-mu in:&:<a href='lambda-to-mu.mu.html#L31'>cell</a>, buf:&:buffer<span class="muRecipe"> -> </span>buf:&:buffer, result-name:text [ +<span id="L583" class="LineNr">583 </span><span class="muRecipe">def</span> to-mu in:&:<a href='lambda-to-mu.mu.html#L31'>cell</a>, buf:&:<a href='061text.mu.html#L126'>buffer</a><span class="muRecipe"> -> </span>buf:&:<a href='061text.mu.html#L126'>buffer</a>, result-name:text [ <span id="L584" class="LineNr">584 </span> <span class="Constant">local-scope</span> <span id="L585" class="LineNr">585 </span> <span class="Constant">load-ingredients</span> <span id="L586" class="LineNr">586 </span> <span class="Comment"># null cell? no change.</span> |