about summary refs log tree commit diff stats
path: root/lambda_to_mu.mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-17 00:10:28 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-17 00:12:08 -0700
commitd559f68b2fbc35ca7fa42e2e50cf13663cfb8ba1 (patch)
treee63dc24d975b701ee96968d9135a1c2c31f88781 /lambda_to_mu.mu
parent7c9def3c5a35c07afdc95b383d6ff85a7c16ef0b (diff)
downloadmu-d559f68b2fbc35ca7fa42e2e50cf13663cfb8ba1.tar.gz
3377
Diffstat (limited to 'lambda_to_mu.mu')
-rw-r--r--lambda_to_mu.mu14
1 files changed, 7 insertions, 7 deletions
diff --git a/lambda_to_mu.mu b/lambda_to_mu.mu
index ed3cd72c..19fa7a1d 100644
--- a/lambda_to_mu.mu
+++ b/lambda_to_mu.mu
@@ -13,7 +13,7 @@ result <- add a t1]
   ]
 ]
 
-def lambda-to-mu in:address:array:character -> out:address:array:character [
+def lambda-to-mu in:text -> out:text [
   local-scope
   load-ingredients
   out <- copy 0
@@ -33,7 +33,7 @@ container pair [
   rest:address:cell
 ]
 
-def new-atom name:address:array:character -> result:address:cell [
+def new-atom name:text -> result:address:cell [
   local-scope
   load-ingredients
   result <- new cell:type
@@ -87,7 +87,7 @@ scenario pair-is-not-atom [
   ]
 ]
 
-def atom-match? x:address:cell, pat:address:array:character -> result:boolean [
+def atom-match? x:address:cell, pat:text -> result:boolean [
   local-scope
   load-ingredients
   s:text, is-atom?:boolean <- maybe-convert *x, atom:variant
@@ -167,7 +167,7 @@ scenario cell-operations-on-pair [
 
 ## convert lambda text to a tree of cells
 
-def parse in:address:array:character -> out:address:cell [
+def parse in:text -> out:address:cell [
   local-scope
   load-ingredients
   s:address:stream:character <- new-stream in
@@ -279,7 +279,7 @@ def skip-whitespace in:address:stream:character -> in:address:stream:character [
   }
 ]
 
-def to-text x:address:cell -> out:address:array:character [
+def to-text x:address:cell -> out:text [
   local-scope
   load-ingredients
   buf:address:buffer <- new-buffer 30
@@ -566,7 +566,7 @@ scenario parse-dotted-list-of-more-than-two-atoms [
 
 ## convert tree of cells to mu text
 
-def to-mu in:address:cell -> out:address:array:character [
+def to-mu in:address:cell -> out:text [
   local-scope
   load-ingredients
   buf:address:buffer <- new-buffer 30
@@ -574,7 +574,7 @@ def to-mu in:address:cell -> out:address:array:character [
   out <- buffer-to-array buf
 ]
 
-def to-mu in:address:cell, buf:address:buffer -> buf:address:buffer, result-name:address:array:character [
+def to-mu in:address:cell, buf:address:buffer -> buf:address:buffer, result-name:text [
   local-scope
   load-ingredients
   # null cell? no change.