From 4a70fb39cc6a0f2ebe34e9b58b873e13d8221015 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 6 Oct 2016 23:51:55 -0700 Subject: 3457 Switch around some unicode characters in the edit/ app so that it renders more cleanly in html (with monospace fonts). --- html/edit/011-errors.mu.html | 264 +++++++++++++++++++++---------------------- 1 file changed, 132 insertions(+), 132 deletions(-) (limited to 'html/edit/011-errors.mu.html') diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html index 67c6c5d2..6c69076c 100644 --- a/html/edit/011-errors.mu.html +++ b/html/edit/011-errors.mu.html @@ -166,15 +166,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] 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 . @@ -261,13 +261,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color # error should disappear screen-should-contain [ . run (F4) . - . ┊ . - .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. - . ┊0 edit copy delete . - . ┊add 2, 2 . - . ┊4 . - . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. - . ┊ . + . ╎ . + .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. + . ╎0 edit copy delete . + . ╎add 2, 2 . + . ╎4 . + . ╎─────────────────────────────────────────────────. + . ╎ . ] ] @@ -289,14 +289,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color 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 [ @@ -308,14 +308,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color # 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' . + .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. + . ╎ . ] ] @@ -397,11 +397,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] 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' ╎ . ] ] @@ -423,13 +423,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] 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 ╎ . + .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ . + . ╎ . ] ] @@ -452,16 +452,16 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] 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' ╎ . + .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ . + . ╎ . ] ] @@ -485,17 +485,17 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] 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' ╎ . + .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ . + . ╎ . ] ] @@ -516,14 +516,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color 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 [ @@ -534,14 +534,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] 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' ╎ . + .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ . + . ╎ . ] ] @@ -562,15 +562,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color # 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, [ . . @@ -595,15 +595,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain-in-color 245/grey, [ . . - . ┊ . - .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. - . ┊ . - . ┊ . - . ┊ . - . ┊ ↩. - . ┊ . - . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. - . ┊ . + . ╎ . + .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. + . ╎ . + . ╎ . + . ╎ . + . ╎ ↩. + . ╎ . + . ╎─────────────────────────────────────────────────. + . ╎ . ] ] @@ -625,15 +625,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color # 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' . + . ╎─────────────────────────────────────────────────. + . ╎ . ] ] @@ -658,13 +658,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] 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! . + .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. + . ╎ . ] ] @@ -690,14 +690,14 @@ _, c:num <- divide-with-remainder a, 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 [ @@ -709,15 +709,15 @@ _, c:num <- divide-with-remainder a, 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' . + .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. ] ] -- cgit 1.4.1-2-gfad0