2804 - support stashing arrays

Now to extend 'stash' for arrays, just extend array-to-text-line instead
and perform the lookup inside it.

1 files changed, 7 insertions, 0 deletions

diff --git a/070text.mu b/070text.mu
index b69db18a..24317a59 100644
--- a/070text.mu
+++ b/070text.mu
@@ -8,6 +8,13 @@ def to-text-line x:_elem -> y:address:shared:array:character [
   y <- to-text x
 ]
 
+# variant for arrays (since we can't pass them around otherwise)
+def array-to-text-line x:address:shared:array:_elem -> y:address:shared:array:character [
+  local-scope
+  load-ingredients
+  y <- to-text *x
+]
+
 # to-text on text is just the identity function
 def to-text x:address:shared:array:character -> y:address:shared:array:character [
   local-scope