about summary refs log tree commit diff stats
path: root/edit/001-editor.mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-12 10:00:43 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-12 10:00:43 -0700
commit59e47aca14ce352a1814953df4be220406c94747 (patch)
tree6d9aab829a480d5a0babe4d969c6e63dde6db3c9 /edit/001-editor.mu
parentf8b9e5c0dccd1563764426878ba0f2f982c3f310 (diff)
downloadmu-59e47aca14ce352a1814953df4be220406c94747.tar.gz
3341
Process type abbreviations in function headers.

Still a couple of places where doing this causes strange errors. We'll
track those down next.
Diffstat (limited to 'edit/001-editor.mu')
-rw-r--r--edit/001-editor.mu6
1 files changed, 3 insertions, 3 deletions
diff --git a/edit/001-editor.mu b/edit/001-editor.mu
index f59c43e1..83bd5edf 100644
--- a/edit/001-editor.mu
+++ b/edit/001-editor.mu
@@ -2,7 +2,7 @@
 
 # temporary main for this layer: just render the given text at the given
 # screen dimensions, then stop
-def! main text:address:array:character [
+def! main text:text [
   local-scope
   load-ingredients
   open-console
@@ -48,7 +48,7 @@ container editor-data [
 # creates a new editor widget and renders its initial appearance to screen
 #   top/left/right constrain the screen area available to the new editor
 #   right is exclusive
-def new-editor s:address:array:character, screen:address:screen, left:number, right:number -> result:address:editor-data, screen:address:screen [
+def new-editor s:text, screen:address:screen, left:number, right:number -> result:address:editor-data, screen:address:screen [
   local-scope
   load-ingredients
   # no clipping of bounds
@@ -71,7 +71,7 @@ def new-editor s:address:array:character, screen:address:screen, left:number, ri
   <editor-initialization>
 ]
 
-def insert-text editor:address:editor-data, text:address:array:character -> editor:address:editor-data [
+def insert-text editor:address:editor-data, text:text -> editor:address:editor-data [
   local-scope
   load-ingredients
   # early exit if text is empty