about summary refs log tree commit diff stats
path: root/edit/011-errors.mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-06 23:51:55 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-06 23:51:55 -0700
commit4a70fb39cc6a0f2ebe34e9b58b873e13d8221015 (patch)
tree0a9ea58f4d0f3786b1023ae0d347361976a694fa /edit/011-errors.mu
parenteeed3845cd504028779c333665e0b9fad2070357 (diff)
downloadmu-4a70fb39cc6a0f2ebe34e9b58b873e13d8221015.tar.gz
3457
Switch around some unicode characters in the edit/ app so that it
renders more cleanly in html (with monospace fonts).
Diffstat (limited to 'edit/011-errors.mu')
-rw-r--r--edit/011-errors.mu264
1 files changed, 132 insertions, 132 deletions
diff --git a/edit/011-errors.mu b/edit/011-errors.mu
index b1751bd8..46484176 100644
--- a/edit/011-errors.mu
+++ b/edit/011-errors.mu
@@ -131,15 +131,15 @@ recipe foo [
   ]
   screen-should-contain [
     .  errors found                                                                   run (F4)           .
-    .                                                  ┊foo                                              .
-    .recipe foo [                                      ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .  get 123:num, foo:offset                         ┊                                                 .
-    .]                                                 ┊                                                 .
-    .foo: unknown element 'foo' in container 'number'  ┊                                                 .
-    .foo: first ingredient of 'get' should be a contai↩┊                                                 .
-    .ner, but got '123:num'                            ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊                                                 .
-    .                                                  ┊                                                 .
+    .                                                  ╎foo                                              .
+    .recipe foo [                                      ╎─────────────────────────────────────────────────.
+    .  get 123:num, foo:offset                         ╎                                                 .
+    .]                                                 ╎                                                 .
+    .foo: unknown element 'foo' in container 'number'  ╎                                                 .
+    .foo: first ingredient of 'get' should be a contai↩╎                                                 .
+    .ner, but got '123:num'                            ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
+    .                                                  ╎                                                 .
   ]
   screen-should-contain-in-color 1/red, [
     .  errors found                                                                                      .
@@ -226,13 +226,13 @@ scenario run-hides-errors-from-past-sandboxes [
   # error should disappear
   screen-should-contain [
     .                                                                                 run (F4)           .
-    .                                                  ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊0   edit          copy            delete         .
-    .                                                  ┊add 2, 2                                         .
-    .                                                  ┊4                                                .
-    .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊                                                 .
+    .                                                  ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
+    .                                                  ╎0   edit          copy            delete         .
+    .                                                  ╎add 2, 2                                         .
+    .                                                  ╎4                                                .
+    .                                                  ╎─────────────────────────────────────────────────.
+    .                                                  ╎                                                 .
   ]
 ]
 
@@ -254,14 +254,14 @@ z <- add x, y
   event-loop screen, console, env
   screen-should-contain [
     .  errors found (0)                                                               run (F4)           .
-    .recipe foo x:_elem -> z:_elem [                   ┊                                                 .
-    .local-scope                                       ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .load-ingredients                                  ┊0   edit          copy            delete         .
-    .y:&:num <- copy 0                                 ┊foo 2                                            .
-    .z <- add x, y                                     ┊foo_2: 'add' requires number ingredients, but go↩.
-    .]                                                 ┊t 'y'                                            .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊                                                 .
+    .recipe foo x:_elem -> z:_elem [                   ╎                                                 .
+    .local-scope                                       ╎─────────────────────────────────────────────────.
+    .load-ingredients                                  ╎0   edit          copy            delete         .
+    .y:&:num <- copy 0                                 ╎foo 2                                            .
+    .z <- add x, y                                     ╎foo_2: 'add' requires number ingredients, but go↩.
+    .]                                                 ╎t 'y'                                            .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
+    .                                                  ╎                                                 .
   ]
   # now rerun everything
   assume-console [
@@ -273,14 +273,14 @@ z <- add x, y
   # error should remain unchanged
   screen-should-contain [
     .  errors found (0)                                                               run (F4)           .
-    .recipe foo x:_elem -> z:_elem [                   ┊                                                 .
-    .local-scope                                       ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .load-ingredients                                  ┊0   edit          copy            delete         .
-    .y:&:num <- copy 0                                 ┊foo 2                                            .
-    .z <- add x, y                                     ┊foo_3: 'add' requires number ingredients, but go↩.
-    .]                                                 ┊t 'y'                                            .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊                                                 .
+    .recipe foo x:_elem -> z:_elem [                   ╎                                                 .
+    .local-scope                                       ╎─────────────────────────────────────────────────.
+    .load-ingredients                                  ╎0   edit          copy            delete         .
+    .y:&:num <- copy 0                                 ╎foo 2                                            .
+    .z <- add x, y                                     ╎foo_3: 'add' requires number ingredients, but go↩.
+    .]                                                 ╎t 'y'                                            .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
+    .                                                  ╎                                                 .
   ]
 ]
 
@@ -362,11 +362,11 @@ recipe foo [
   ]
   screen-should-contain [
     .  errors found                                                                   run (F4)           .
-    .                                                  ┊foo                                              .
-    .recipe foo [                                      ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .  x <- copy 0                                     ┊                                                 .
-    .]                                                 ┊                                                 .
-    .foo: missing type for 'x' in 'x <- copy 0'        ┊                                                 .
+    .                                                  ╎foo                                              .
+    .recipe foo [                                      ╎─────────────────────────────────────────────────.
+    .  x <- copy 0                                     ╎                                                 .
+    .]                                                 ╎                                                 .
+    .foo: missing type for 'x' in 'x <- copy 0'        ╎                                                 .
   ]
 ]
 
@@ -388,13 +388,13 @@ recipe foo \\[
   ]
   screen-should-contain [
     .  errors found                                                                   run (F4)           .
-    .                                                  ┊foo                                              .
-    .recipe foo \\[                                      ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .  x <- copy 0                                     ┊                                                 .
-    .                                                  ┊                                                 .
-    .9: unbalanced '\\[' for recipe                      ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊                                                 .
-    .                                                  ┊                                                 .
+    .                                                  ╎foo                                              .
+    .recipe foo \\[                                      ╎─────────────────────────────────────────────────.
+    .  x <- copy 0                                     ╎                                                 .
+    .                                                  ╎                                                 .
+    .9: unbalanced '\\[' for recipe                      ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
+    .                                                  ╎                                                 .
   ]
 ]
 
@@ -417,16 +417,16 @@ recipe foo [
   ]
   screen-should-contain [
     .  errors found                                                                   run (F4)           .
-    .                                                  ┊foo                                              .
-    .recipe foo [                                      ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .  local-scope                                     ┊                                                 .
-    .  x:&:point <- new point:type                     ┊                                                 .
-    .  get x:&:point, 1:offset                         ┊                                                 .
-    .]                                                 ┊                                                 .
-    .foo: first ingredient of 'get' should be a contai↩┊                                                 .
-    .ner, but got 'x:&:point'                          ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊                                                 .
-    .                                                  ┊                                                 .
+    .                                                  ╎foo                                              .
+    .recipe foo [                                      ╎─────────────────────────────────────────────────.
+    .  local-scope                                     ╎                                                 .
+    .  x:&:point <- new point:type                     ╎                                                 .
+    .  get x:&:point, 1:offset                         ╎                                                 .
+    .]                                                 ╎                                                 .
+    .foo: first ingredient of 'get' should be a contai↩╎                                                 .
+    .ner, but got 'x:&:point'                          ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
+    .                                                  ╎                                                 .
   ]
 ]
 
@@ -450,17 +450,17 @@ recipe foo [
   ]
   screen-should-contain [
     .  errors found                                                                   run (F4)           .
-    .                                                  ┊foo                                              .
-    .recipe foo [                                      ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .  local-scope                                     ┊                                                 .
-    .  x:num <- copy 0                                 ┊                                                 .
-    .  y:&:point <- new point:type                     ┊                                                 .
-    .  get *y:&:point, x:num                           ┊                                                 .
-    .]                                                 ┊                                                 .
-    .foo: second ingredient of 'get' should have type ↩┊                                                 .
-    .'offset', but got 'x:num'                         ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊                                                 .
-    .                                                  ┊                                                 .
+    .                                                  ╎foo                                              .
+    .recipe foo [                                      ╎─────────────────────────────────────────────────.
+    .  local-scope                                     ╎                                                 .
+    .  x:num <- copy 0                                 ╎                                                 .
+    .  y:&:point <- new point:type                     ╎                                                 .
+    .  get *y:&:point, x:num                           ╎                                                 .
+    .]                                                 ╎                                                 .
+    .foo: second ingredient of 'get' should have type ↩╎                                                 .
+    .'offset', but got 'x:num'                         ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
+    .                                                  ╎                                                 .
   ]
 ]
 
@@ -481,14 +481,14 @@ recipe foo [
   event-loop screen, console, env
   screen-should-contain [
     .  errors found                                                                   run (F4)           .
-    .                                                  ┊foo                                              .
-    .recipe foo [                                      ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .  local-scope                                     ┊                                                 .
-    .  x:num <- copy y:num                             ┊                                                 .
-    .]                                                 ┊                                                 .
-    .foo: use before set: 'y'                          ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊                                                 .
-    .                                                  ┊                                                 .
+    .                                                  ╎foo                                              .
+    .recipe foo [                                      ╎─────────────────────────────────────────────────.
+    .  local-scope                                     ╎                                                 .
+    .  x:num <- copy y:num                             ╎                                                 .
+    .]                                                 ╎                                                 .
+    .foo: use before set: 'y'                          ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
+    .                                                  ╎                                                 .
   ]
   # rerun the file, check for the same error
   assume-console [
@@ -499,14 +499,14 @@ recipe foo [
   ]
   screen-should-contain [
     .  errors found                                                                   run (F4)           .
-    .                                                  ┊foo                                              .
-    .recipe foo [                                      ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .  local-scope                                     ┊                                                 .
-    .  x:num <- copy y:num                             ┊                                                 .
-    .]                                                 ┊                                                 .
-    .foo: use before set: 'y'                          ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊                                                 .
-    .                                                  ┊                                                 .
+    .                                                  ╎foo                                              .
+    .recipe foo [                                      ╎─────────────────────────────────────────────────.
+    .  local-scope                                     ╎                                                 .
+    .  x:num <- copy y:num                             ╎                                                 .
+    .]                                                 ╎                                                 .
+    .foo: use before set: 'y'                          ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
+    .                                                  ╎                                                 .
   ]
 ]
 
@@ -527,15 +527,15 @@ scenario run-instruction-and-print-errors [
   # check that screen prints error message in red
   screen-should-contain [
     .  errors found (0)                                                               run (F4)           .
-    .                                                  ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊0   edit          copy            delete         .
-    .                                                  ┊get 1234:num, foo:offset                         .
-    .                                                  ┊unknown element 'foo' in container 'number'      .
-    .                                                  ┊first ingredient of 'get' should be a container,↩.
-    .                                                  ┊ but got '1234:num'                              .
-    .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊                                                 .
+    .                                                  ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
+    .                                                  ╎0   edit          copy            delete         .
+    .                                                  ╎get 1234:num, foo:offset                         .
+    .                                                  ╎unknown element 'foo' in container 'number'      .
+    .                                                  ╎first ingredient of 'get' should be a container,↩.
+    .                                                  ╎ but got '1234:num'                              .
+    .                                                  ╎─────────────────────────────────────────────────.
+    .                                                  ╎                                                 .
   ]
   screen-should-contain-in-color 7/white, [
     .                                                                                                    .
@@ -560,15 +560,15 @@ scenario run-instruction-and-print-errors [
   ]
   screen-should-contain-in-color 245/grey, [
     .                                                                                                    .
-    .                                                  ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊                                                 .
-    .                                                  ┊                                                 .
-    .                                                  ┊                                                 .
-    .                                                  ┊                                                ↩.
-    .                                                  ┊                                                 .
-    .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊                                                 .
+    .                                                  ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
+    .                                                  ╎                                                 .
+    .                                                  ╎                                                 .
+    .                                                  ╎                                                 .
+    .                                                  ╎                                                ↩.
+    .                                                  ╎                                                 .
+    .                                                  ╎─────────────────────────────────────────────────.
+    .                                                  ╎                                                 .
   ]
 ]
 
@@ -590,15 +590,15 @@ scenario run-instruction-and-print-errors-only-once [
   # check that screen prints error message just once
   screen-should-contain [
     .  errors found (0)                                                               run (F4)           .
-    .                                                  ┊                                                 .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊0   edit          copy            delete         .
-    .                                                  ┊get 1234:num, foo:offset                         .
-    .                                                  ┊unknown element 'foo' in container 'number'      .
-    .                                                  ┊first ingredient of 'get' should be a container,↩.
-    .                                                  ┊ but got '1234:num'                              .
-    .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊                                                 .
+    .                                                  ╎                                                 .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
+    .                                                  ╎0   edit          copy            delete         .
+    .                                                  ╎get 1234:num, foo:offset                         .
+    .                                                  ╎unknown element 'foo' in container 'number'      .
+    .                                                  ╎first ingredient of 'get' should be a container,↩.
+    .                                                  ╎ but got '1234:num'                              .
+    .                                                  ╎─────────────────────────────────────────────────.
+    .                                                  ╎                                                 .
   ]
 ]
 
@@ -623,13 +623,13 @@ scenario sandbox-can-handle-infinite-loop [
   ]
   screen-should-contain [
     .  errors found (0)                                                               run (F4)           .
-    .recipe foo [                                      ┊                                                 .
-    .  {                                               ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .    loop                                          ┊0   edit          copy            delete         .
-    .  }                                               ┊foo                                              .
-    .]                                                 ┊took too long!                                   .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .                                                  ┊                                                 .
+    .recipe foo [                                      ╎                                                 .
+    .  {                                               ╎─────────────────────────────────────────────────.
+    .    loop                                          ╎0   edit          copy            delete         .
+    .  }                                               ╎foo                                              .
+    .]                                                 ╎took too long!                                   .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
+    .                                                  ╎                                                 .
   ]
 ]
 
@@ -655,14 +655,14 @@ reply b
   # screen prints error message
   screen-should-contain [
     .  errors found (0)                                                               run (F4)           .
-    .recipe foo [                                      ┊                                                 .
-    .local-scope                                       ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .a:num <- next-ingredient                          ┊0   edit          copy            delete         .
-    .b:num <- next-ingredient                          ┊foo 4, 0                                         .
-    .stash [dividing by], b                            ┊foo: divide by zero in '_, c:num <- divide-with-↩.
-    ._, c:num <- divide-with-remainder a, b            ┊remainder a, b'                                  .
-    .reply b                                           ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .]                                                 ┊                                                 .
+    .recipe foo [                                      ╎                                                 .
+    .local-scope                                       ╎─────────────────────────────────────────────────.
+    .a:num <- next-ingredient                          ╎0   edit          copy            delete         .
+    .b:num <- next-ingredient                          ╎foo 4, 0                                         .
+    .stash [dividing by], b                            ╎foo: divide by zero in '_, c:num <- divide-with-↩.
+    ._, c:num <- divide-with-remainder a, b            ╎remainder a, b'                                  .
+    .reply b                                           ╎─────────────────────────────────────────────────.
+    .]                                                 ╎                                                 .
   ]
   # click on the call in the sandbox
   assume-console [
@@ -674,14 +674,14 @@ reply b
   # screen should expand trace
   screen-should-contain [
     .  errors found (0)                                                               run (F4)           .
-    .recipe foo [                                      ┊                                                 .
-    .local-scope                                       ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
-    .a:num <- next-ingredient                          ┊0   edit          copy            delete         .
-    .b:num <- next-ingredient                          ┊foo 4, 0                                         .
-    .stash [dividing by], b                            ┊dividing by 0                                    .
-    ._, c:num <- divide-with-remainder a, b            ┊14 instructions run                              .
-    .reply b                                           ┊foo: divide by zero in '_, c:num <- divide-with-↩.
-    .]                                                 ┊remainder a, b'                                  .
-    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
+    .recipe foo [                                      ╎                                                 .
+    .local-scope                                       ╎─────────────────────────────────────────────────.
+    .a:num <- next-ingredient                          ╎0   edit          copy            delete         .
+    .b:num <- next-ingredient                          ╎foo 4, 0                                         .
+    .stash [dividing by], b                            ╎dividing by 0                                    .
+    ._, c:num <- divide-with-remainder a, b            ╎14 instructions run                              .
+    .reply b                                           ╎foo: divide by zero in '_, c:num <- divide-with-↩.
+    .]                                                 ╎remainder a, b'                                  .
+    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
   ]
 ]