diff options
Diffstat (limited to '061text.mu')
-rw-r--r-- | 061text.mu | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/061text.mu b/061text.mu index 2fa60f1c..5e3f798a 100644 --- a/061text.mu +++ b/061text.mu @@ -1,21 +1,6 @@ # Some useful helpers for dealing with text (arrays of characters) type text = address:array:character -# to-text-line gets called implicitly in various places -# define it to be identical to 'to-text' by default -def to-text-line x:_elem -> y:address:array:character [ - local-scope - load-ingredients - y <- to-text x -] - -# variant for arrays (since we can't pass them around otherwise) -def array-to-text-line x:address:array:_elem -> y:address:array:character [ - local-scope - load-ingredients - y <- to-text *x -] - def equal a:text, b:text -> result:boolean [ local-scope load-ingredients |