about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--edit/005-sandbox.mu2
-rw-r--r--html/edit/005-sandbox.mu.html2
-rw-r--r--html/http-client.mu.html2
-rw-r--r--html/lambda-to-mu.mu.html10
-rw-r--r--http-client.mu2
-rw-r--r--lambda-to-mu.mu10
-rw-r--r--sandbox/005-sandbox.mu2
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:&amp;:editor<span class="muRecipe"> -&gt; </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:&amp;:<a href='../061text.mu.html#L126'>buffer</a> <span class="Special">&lt;-</span> <a href='../061text.mu.html#L131'>new-buffer</a><span class="Constant"> 80</span>
+<span id="L699" class="LineNr"> 699 </span>  buf:&amp;:<a href='../061text.mu.html#L126'>buffer</a>:char <span class="Special">&lt;-</span> <a href='../061text.mu.html#L131'>new-buffer</a><span class="Constant"> 80</span>
 <span id="L700" class="LineNr"> 700 </span>  curr:&amp;:<a href='../065duplex_list.mu.html#L3'>duplex-list</a>:char <span class="Special">&lt;-</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:&amp;:<a href='075channel.mu.html#L43'>source</a>:char <span class="Special">&lt;-</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">&lt;-</span> copy<span class="Constant"> 0</span>
-<span id="L7" class="LineNr"> 7 </span>  buf:&amp;:<a href='061text.mu.html#L126'>buffer</a> <span class="Special">&lt;-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span>
+<span id="L7" class="LineNr"> 7 </span>  buf:&amp;:<a href='061text.mu.html#L126'>buffer</a>:char <span class="Special">&lt;-</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">&lt;-</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:&amp;:<a href='061text.mu.html#L126'>buffer</a> <span class="Special">&lt;-</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:&amp;:<a href='061text.mu.html#L126'>buffer</a>:char <span class="Special">&lt;-</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">&lt;-</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:&amp;:<a href='lambda-to-mu.mu.html#L31'>cell</a><span class="muRecipe"> -&gt; </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:&amp;:<a href='061text.mu.html#L126'>buffer</a> <span class="Special">&lt;-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span>
+<span id="L291" class="LineNr">291 </span>  buf:&amp;:<a href='061text.mu.html#L126'>buffer</a>:char <span class="Special">&lt;-</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">&lt;-</span> to-buffer x, buf
 <span id="L293" class="LineNr">293 </span>  out <span class="Special">&lt;-</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:&amp;:<a href='lambda-to-mu.mu.html#L31'>cell</a>, buf:&amp;:<a href='061text.mu.html#L126'>buffer</a><span class="muRecipe"> -&gt; </span>buf:&amp;:<a href='061text.mu.html#L126'>buffer</a> [
+<span id="L296" class="LineNr">296 </span><span class="muRecipe">def</span> to-buffer x:&amp;:<a href='lambda-to-mu.mu.html#L31'>cell</a>, buf:&amp;:<a href='061text.mu.html#L126'>buffer</a>:char<span class="muRecipe"> -&gt; </span>buf:&amp;:<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:&amp;:<a href='lambda-to-mu.mu.html#L31'>cell</a><span class="muRecipe"> -&gt; </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:&amp;:<a href='061text.mu.html#L126'>buffer</a> <span class="Special">&lt;-</span> <a href='061text.mu.html#L131'>new-buffer</a><span class="Constant"> 30</span>
+<span id="L578" class="LineNr">578 </span>  buf:&amp;:<a href='061text.mu.html#L126'>buffer</a>:char <span class="Special">&lt;-</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">&lt;-</span> to-mu in, buf
 <span id="L580" class="LineNr">580 </span>  out <span class="Special">&lt;-</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:&amp;:<a href='lambda-to-mu.mu.html#L31'>cell</a>, buf:&amp;:<a href='061text.mu.html#L126'>buffer</a><span class="muRecipe"> -&gt; </span>buf:&amp;:<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:&amp;:<a href='lambda-to-mu.mu.html#L31'>cell</a>, buf:&amp;:<a href='061text.mu.html#L126'>buffer</a>:char<span class="muRecipe"> -&gt; </span>buf:&amp;:<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]