4098

Finally, make the seemingly-trivial change to buffer methods that I was
envisioning 2 days ago.

I still have zero confidence in our heuristic for picking the generic
method to specialize for a call-site. Waiting for issues to reveal
themselves.

1 files changed, 3 insertions, 3 deletions

diff --git a/061text.mu b/061text.mu
index 9cb44c79..e5fd8cc0 100644
--- a/061text.mu
+++ b/061text.mu
@@ -220,7 +220,7 @@ def append buf:&:buffer:char, c:char -> buf:&:buffer:char [
   *buf <- put *buf, length:offset, len
 ]
 
-def append buf:&:buffer:char, t:text -> buf:&:buffer:char [
+def append buf:&:buffer:_elem, t:&:@:_elem -> buf:&:buffer:_elem [
   local-scope
   load-ingredients
   len:num <- length *t
@@ -228,8 +228,8 @@ def append buf:&:buffer:char, t:text -> buf:&:buffer:char [
   {
     done?:bool <- greater-or-equal i, len
     break-if done?
-    c:char <- index *t, i
-    buf <- append buf, c
+    x:_elem <- index *t, i
+    buf <- append buf, x
     i <- add i, 1
     loop
   }