diff options
| -rw-r--r-- | edit/005-sandbox.mu | 2 | ||||
| -rw-r--r-- | html/edit/005-sandbox.mu.html | 2 | ||||
| -rw-r--r-- | html/http-client.mu.html | 2 | ||||
| -rw-r--r-- | html/lambda-to-mu.mu.html | 10 | ||||
| -rw-r--r-- | http-client.mu | 2 | ||||
| -rw-r--r-- | lambda-to-mu.mu | 10 | ||||
| -rw-r--r-- | sandbox/005-sandbox.mu | 2 |
7 files changed, 15 insertions, 15 deletions
diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index db5d692b..46bd41eb 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -696,7 +696,7 @@ scenario run-instruction-manages-screen-per-sandbox [ def editor-contents editor:&:editor -> result:text [ local-scope load-ingredients - buf:&:buffer <- new-buffer 80 + buf:&:buffer:char <- new-buffer 80 curr:&:duplex-list:char <- get *editor, data:offset # skip § sentinel assert curr, [editor without data is illegal; must have at least a sentinel] diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html index 9eb7d9f8..fe769594 100644 --- a/html/edit/005-sandbox.mu.html +++ b/html/edit/005-sandbox.mu.html @@ -759,7 +759,7 @@ if ('onhashchange' in window) { <span id="L696" class="LineNr"> 696 </span><span class="muRecipe">def</span> <a href='005-sandbox.mu.html#L696'>editor-contents</a> editor:&:editor<span class="muRecipe"> -> </span>result:text [ <span id="L697" class="LineNr"> 697 </span> <span class="Constant">local-scope</span> <span id="L698" class="LineNr"> 698 </span> <span class="Constant">load-ingredients</span> -<span id="L699" class="LineNr"> 699 </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"> 80</span> +<span id="L699" class="LineNr"> 699 </span> buf:&:<a href='../061text.mu.html#L126'>buffer</a>:char <span class="Special"><-</span> <a href='../061text.mu.html#L131'>new-buffer</a><span class="Constant"> 80</span> <span id="L700" class="LineNr"> 700 </span> curr:&:<a href='../065duplex_list.mu.html#L3'>duplex-list</a>:char <span class="Special"><-</span> get *editor, <span class="Constant">data:offset</span> <span id="L701" class="LineNr"> 701 </span> <span class="Comment"># skip § sentinel</span> <span id="L702" class="LineNr"> 702 </span> assert curr, <span class="Constant">[editor without data is illegal; must have at least a sentinel]</span> diff --git a/html/http-client.mu.html b/html/http-client.mu.html index 17cb6fde..50dcce59 100644 --- a/html/http-client.mu.html +++ b/html/http-client.mu.html @@ -64,7 +64,7 @@ if ('onhashchange' in window) { <span id="L4" class="LineNr"> 4 </span> <span class="Constant">local-scope</span> <span id="L5" class="LineNr"> 5 </span> google:&:<a href='075channel.mu.html#L43'>source</a>:char <span class="Special"><-</span> <a href='092socket.mu.html#L69'>start-reading-from-network</a> <span class="Constant">0/real-resources</span>, <span class="Constant">[google.com/]</span> <span id="L6" class="LineNr"> 6 </span> n:num <span class="Special"><-</span> copy<span class="Constant"> 0</span> -<span id="L7" class="LineNr"> 7 </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="L7" class="LineNr"> 7 </span> buf:&:<a href='061text.mu.html#L126'>buffer</a>:char <span class="Special"><-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span> <span id="L8" class="LineNr"> 8 </span> <span class="Delimiter">{</span> <span id="L9" class="LineNr"> 9 </span> <span class="Conceal">¦</span> c:char, done?:bool <span class="Special"><-</span> read google <span id="L10" class="LineNr">10 </span> <span class="Conceal">¦</span> <span class="muControl">break-if</span> done? diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html index 978ba9fb..1ad4656d 100644 --- a/html/lambda-to-mu.mu.html +++ b/html/lambda-to-mu.mu.html @@ -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:&:<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="L195" class="LineNr">195 </span> <span class="Conceal">¦</span> buf:&:<a href='061text.mu.html#L126'>buffer</a>:char <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? @@ -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:&:<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="L291" class="LineNr">291 </span> buf:&:<a href='061text.mu.html#L126'>buffer</a>:char <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:&:<a href='061text.mu.html#L126'>buffer</a><span class="muRecipe"> -> </span>buf:&:<a href='061text.mu.html#L126'>buffer</a> [ +<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>:char<span class="muRecipe"> -> </span>buf:&:<a href='061text.mu.html#L126'>buffer</a>:char [ <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:&:<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="L578" class="LineNr">578 </span> buf:&:<a href='061text.mu.html#L126'>buffer</a>:char <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:&:<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="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>:char<span class="muRecipe"> -> </span>buf:&:<a href='061text.mu.html#L126'>buffer</a>:char, 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> diff --git a/http-client.mu b/http-client.mu index 82ba5746..6bf1bfa6 100644 --- a/http-client.mu +++ b/http-client.mu @@ -4,7 +4,7 @@ def main [ local-scope google:&:source:char <- start-reading-from-network 0/real-resources, [google.com/] n:num <- copy 0 - buf:&:buffer <- new-buffer 30 + buf:&:buffer:char <- new-buffer 30 { c:char, done?:bool <- read google break-if done? diff --git a/lambda-to-mu.mu b/lambda-to-mu.mu index 8e99fd07..2bd74974 100644 --- a/lambda-to-mu.mu +++ b/lambda-to-mu.mu @@ -192,7 +192,7 @@ def parse in:&:stream:char -> out:&:cell, in:&:stream:char [ { break-if pair? # atom - buf:&:buffer <- new-buffer 30 + buf:&:buffer:char <- new-buffer 30 { done?:bool <- end-of-stream? in break-if done? @@ -288,12 +288,12 @@ def skip-whitespace in:&:stream:char -> in:&:stream:char [ def to-text x:&:cell -> out:text [ local-scope load-ingredients - buf:&:buffer <- new-buffer 30 + buf:&:buffer:char <- new-buffer 30 buf <- to-buffer x, buf out <- buffer-to-array buf ] -def to-buffer x:&:cell, buf:&:buffer -> buf:&:buffer [ +def to-buffer x:&:cell, buf:&:buffer:char -> buf:&:buffer:char [ local-scope load-ingredients # base case: empty cell @@ -575,12 +575,12 @@ scenario parse-dotted-list-of-more-than-two-atoms [ def to-mu in:&:cell -> out:text [ local-scope load-ingredients - buf:&:buffer <- new-buffer 30 + buf:&:buffer:char <- new-buffer 30 buf <- to-mu in, buf out <- buffer-to-array buf ] -def to-mu in:&:cell, buf:&:buffer -> buf:&:buffer, result-name:text [ +def to-mu in:&:cell, buf:&:buffer:char -> buf:&:buffer:char, result-name:text [ local-scope load-ingredients # null cell? no change. diff --git a/sandbox/005-sandbox.mu b/sandbox/005-sandbox.mu index 91826802..a7df7a54 100644 --- a/sandbox/005-sandbox.mu +++ b/sandbox/005-sandbox.mu @@ -674,7 +674,7 @@ scenario run-instruction-manages-screen-per-sandbox [ def editor-contents editor:&:editor -> result:text [ local-scope load-ingredients - buf:&:buffer <- new-buffer 80 + buf:&:buffer:char <- new-buffer 80 curr:&:duplex-list:char <- get *editor, data:offset # skip § sentinel assert curr, [editor without data is illegal; must have at least a sentinel] |