diff options
Diffstat (limited to 'archive/1.vm/sandbox/011-errors.mu')
| -rw-r--r-- | archive/1.vm/sandbox/011-errors.mu | 687 |
1 files changed, 687 insertions, 0 deletions
diff --git a/archive/1.vm/sandbox/011-errors.mu b/archive/1.vm/sandbox/011-errors.mu new file mode 100644 index 00000000..2f59d1fe --- /dev/null +++ b/archive/1.vm/sandbox/011-errors.mu @@ -0,0 +1,687 @@ +## handling malformed programs + +container environment [ + recipe-errors:text +] + +# load code from disk, save any errors +def! update-recipes env:&:environment, resources:&:resources, screen:&:screen -> errors-found?:bool, env:&:environment, screen:&:screen [ + local-scope + load-inputs + in:text <- slurp resources, [lesson/recipes.mu] + recipe-errors:text <- reload in + *env <- put *env, recipe-errors:offset, recipe-errors + # if recipe editor has errors, stop + { + break-unless recipe-errors + update-status screen, [errors found ], 1/red + errors-found? <- copy true + return + } + errors-found? <- copy false +] + +before <end-render-components> [ + trace 11, [app], [render status] + recipe-errors:text <- get *env, recipe-errors:offset + { + break-unless recipe-errors + update-status screen, [errors found ], 1/red + } +] + +container environment [ + error-index:num # index of first sandbox with an error (or -1 if none) +] + +after <programming-environment-initialization> [ + *result <- put *result, error-index:offset, -1 +] + +after <begin-run-sandboxes> [ + *env <- put *env, error-index:offset, -1 +] + +before <end-run-sandboxes> [ + { + error-index:num <- get *env, error-index:offset + sandboxes-completed-successfully?:bool <- equal error-index, -1 + break-if sandboxes-completed-successfully? + errors-found? <- copy true + } +] + +before <end-render-components> [ + { + break-if recipe-errors + error-index:num <- get *env, error-index:offset + sandboxes-completed-successfully?:bool <- equal error-index, -1 + break-if sandboxes-completed-successfully? + error-index-text:text <- to-text error-index + status:text <- interpolate [errors found (_) ], error-index-text + update-status screen, status, 1/red + } +] + +container sandbox [ + errors:text +] + +def! update-sandbox sandbox:&:sandbox, env:&:environment, idx:num -> sandbox:&:sandbox, env:&:environment [ + local-scope + load-inputs + { + recipe-errors:text <- get *env, recipe-errors:offset + break-unless recipe-errors + *sandbox <- put *sandbox, errors:offset, recipe-errors + return + } + data:text <- get *sandbox, data:offset + response:text, errors:text, fake-screen:&:screen, trace:text, completed?:bool <- run-sandboxed data + *sandbox <- put *sandbox, response:offset, response + *sandbox <- put *sandbox, errors:offset, errors + *sandbox <- put *sandbox, screen:offset, fake-screen + *sandbox <- put *sandbox, trace:offset, trace + { + break-if errors + break-if completed? + errors <- new [took too long! +] + *sandbox <- put *sandbox, errors:offset, errors + } + { + break-unless errors + error-index:num <- get *env, error-index:offset + error-not-set?:bool <- equal error-index, -1 + break-unless error-not-set? + *env <- put *env, error-index:offset, idx + } +] + +# make sure we render any trace +after <render-sandbox-trace-done> [ + { + sandbox-errors:text <- get *sandbox, errors:offset + break-unless sandbox-errors + *sandbox <- put *sandbox, response-starting-row-on-screen:offset, 0 # no response + { + break-unless env + recipe-errors:text <- get *env, recipe-errors:offset + row, screen <- render-text screen, recipe-errors, left, right, 1/red, row + } + row, screen <- render-text screen, sandbox-errors, left, right, 1/red, row + # don't try to print anything more for this sandbox + jump +render-sandbox-end + } +] + +scenario run-shows-errors-in-get [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + assume-resources [ + [lesson/recipes.mu] <- [ + |recipe foo [| + | get 123:num, foo:offset| + |]| + ] + ] + env:&:environment <- new-programming-environment resources, screen, [foo] + render-all screen, env, render + screen-should-contain [ + . run (F4) . + .foo . + .──────────────────────────────────────────────────. + . . + ] + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + screen-should-contain [ + . errors found run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo . + .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 . + . . + ] +] + +scenario run-updates-status-with-first-erroneous-sandbox [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + assume-resources [ + ] + env:&:environment <- new-programming-environment resources, screen, [] + render-all screen, env, render + assume-console [ + # create invalid sandbox 1 + type [get foo, x:offset] + press F4 + # create invalid sandbox 0 + type [get foo, x:offset] + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + # status line shows that error is in first sandbox + screen-should-contain [ + . errors found (0) run (F4) . + ] +] + +scenario run-updates-status-with-first-erroneous-sandbox-2 [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + assume-resources [ + ] + env:&:environment <- new-programming-environment resources, screen, [] + render-all screen, env, render + assume-console [ + # create invalid sandbox 2 + type [get foo, x:offset] + press F4 + # create invalid sandbox 1 + type [get foo, x:offset] + press F4 + # create valid sandbox 0 + type [add 2, 2] + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + # status line shows that error is in second sandbox + screen-should-contain [ + . errors found (1) run (F4) . + ] +] + +scenario run-hides-errors-from-past-sandboxes [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + assume-resources [ + ] + env:&:environment <- new-programming-environment resources, screen, [get foo, x:offset] # invalid + render-all screen, env, render + assume-console [ + press F4 # generate error + ] + event-loop screen, console, env, resources + assume-console [ + left-click 3, 10 + press ctrl-k + type [add 2, 2] # valid code + press F4 # update sandbox + ] + run [ + event-loop screen, console, env, resources + ] + # error should disappear + screen-should-contain [ + . run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .add 2, 2 . + .4 . + .──────────────────────────────────────────────────. + . . + ] +] + +scenario run-updates-errors-for-shape-shifting-recipes [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + # define a shape-shifting recipe with an error + assume-resources [ + [lesson/recipes.mu] <- [ + |recipe foo x:_elem -> z:_elem [| + | local-scope| + | load-ingredients| + | y:&:num <- copy null| + | z <- add x, y| + |]| + ] + ] + env:&:environment <- new-programming-environment resources, screen, [foo 2] + render-all screen, env, render + assume-console [ + press F4 + ] + event-loop screen, console, env, resources + screen-should-contain [ + . errors found (0) run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo 2 . + .foo_2: 'add' requires number ingredients, but got↩. + . 'y' . + .──────────────────────────────────────────────────. + . . + ] + # now rerun everything + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + # error should remain unchanged + screen-should-contain [ + . errors found (0) run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo 2 . + .foo_3: 'add' requires number ingredients, but got↩. + . 'y' . + .──────────────────────────────────────────────────. + . . + ] +] + +scenario run-avoids-spurious-errors-on-reloading-shape-shifting-recipes [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + # overload a well-known shape-shifting recipe + assume-resources [ + [lesson/recipes.mu] <- [ + |recipe length l:&:list:_elem -> n:num [| + |]| + ] + ] + # call code that uses other variants of it, but not it itself + test-sandbox:text <- new [x:&:list:num <- copy null +to-text x] + env:&:environment <- new-programming-environment resources, screen, test-sandbox + render-all screen, env, render + # run it once + assume-console [ + press F4 + ] + event-loop screen, console, env, resources + # no errors anywhere on screen (can't check anything else, since to-text will return an address) + screen-should-contain-in-color 1/red, [ + . . + . . + . . + . . + . <- . + . . + . . + . . + . . + ] + # rerun everything + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + # still no errors + screen-should-contain-in-color 1/red, [ + . . + . . + . . + . . + . <- . + . . + . . + . . + . . + ] +] + +scenario run-shows-missing-type-errors [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + assume-resources [ + [lesson/recipes.mu] <- [ + |recipe foo [| + | x <- copy 0| + |]| + ] + ] + env:&:environment <- new-programming-environment resources, screen, [foo] + render-all screen, env, render + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + screen-should-contain [ + . errors found run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo . + .foo: missing type for 'x' in 'x <- copy 0' . + ] +] + +scenario run-shows-unbalanced-bracket-errors [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + # recipe is incomplete (unbalanced '[') + assume-resources [ + [lesson/recipes.mu] <- [ + |recipe foo \\\[| + | x <- copy 0| + ] + ] + env:&:environment <- new-programming-environment resources, screen, [foo] + render-all screen, env, render + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + screen-should-contain [ + . errors found run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo . + .9: unbalanced '\\[' for recipe . + .9: unbalanced '\\[' for recipe . + .──────────────────────────────────────────────────. + . . + ] +] + +scenario run-shows-get-on-non-container-errors [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + assume-resources [ + [lesson/recipes.mu] <- [ + |recipe foo [| + | local-scope| + | x:&:point <- new point:type| + | get x:&:point, 1:offset| + |]| + ] + ] + env:&:environment <- new-programming-environment resources, screen, [foo] + render-all screen, env, render + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + screen-should-contain [ + . errors found run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo . + .foo: first ingredient of 'get' should be a contai↩. + .ner, but got 'x:&:point' . + ] +] + +scenario run-shows-non-literal-get-argument-errors [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + assume-resources [ + [lesson/recipes.mu] <- [ + |recipe foo [| + | local-scope| + | x:num <- copy 0| + | y:&:point <- new point:type| + | get *y:&:point, x:num| + |]| + ] + ] + env:&:environment <- new-programming-environment resources, screen, [foo] + render-all screen, env, render + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + screen-should-contain [ + . errors found run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo . + .foo: second ingredient of 'get' should have type ↩. + .'offset', but got 'x:num' . + ] +] + +scenario run-shows-errors-every-time [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + # try to run a file with an error + assume-resources [ + [lesson/recipes.mu] <- [ + |recipe foo [| + | local-scope| + | x:num <- copy y:num| + |]| + ] + ] + env:&:environment <- new-programming-environment resources, screen, [foo] + render-all screen, env, render + assume-console [ + press F4 + ] + event-loop screen, console, env, resources + screen-should-contain [ + . errors found run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo . + .foo: tried to read ingredient 'y' in 'x:num <- co↩. + .py y:num' but it hasn't been written to yet . + ] + # rerun the file, check for the same error + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + screen-should-contain [ + . errors found run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo . + .foo: tried to read ingredient 'y' in 'x:num <- co↩. + .py y:num' but it hasn't been written to yet . + ] +] + +scenario run-instruction-and-print-errors [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 15/height + assume-resources [ + ] + # editor contains an illegal instruction + env:&:environment <- new-programming-environment resources, screen, [get 1:&:point, 1:offset] + render-all screen, env, render + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + # check that screen prints error message in red + screen-should-contain [ + . errors found (0) run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .get 1:&:point, 1:offset . + .first ingredient of 'get' should be a container, ↩. + .but got '1:&:point' . + .──────────────────────────────────────────────────. + . . + ] + screen-should-contain-in-color 1/red, [ + . errors found (0) . + . . + . . + . . + . . + .first ingredient of 'get' should be a container, . + .but got '1:&:point' . + . . + . . + ] +] + +scenario run-instruction-and-print-errors-only-once [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 10/height + assume-resources [ + ] + # editor contains an illegal instruction + env:&:environment <- new-programming-environment resources, screen, [get 1234:num, foo:offset] + render-all screen, env, render + # run the code in the editors multiple times + assume-console [ + press F4 + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + # 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' . + .──────────────────────────────────────────────────. + . . + ] +] + +scenario sandbox-can-handle-infinite-loop [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + assume-resources [ + ] + # editor contains an infinite loop + test-sandbox:text <- new [{ +loop +}] + env:&:environment <- new-programming-environment resources, screen, test-sandbox + render-all screen, env, render + # run the sandbox + assume-console [ + press F4 + ] + run [ + event-loop screen, console, env, resources + ] + screen-should-contain [ + . errors found (0) run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .{ . + .loop . + .} . + .took too long! . + .──────────────────────────────────────────────────. + . . + ] +] + +scenario sandbox-with-errors-shows-trace [ + local-scope + trace-until 100/app # trace too long + assume-screen 50/width, 20/height + # generate a stash and a error + assume-resources [ + [lesson/recipes.mu] <- [ + |recipe foo [| + | local-scope| + | a:num <- next-ingredient| + | b:num <- next-ingredient| + | stash [dividing by], b| + | _, c:num <- divide-with-remainder a, b| + | reply b| + |]| + ] + ] + env:&:environment <- new-programming-environment resources, screen, [foo 4, 0] + render-all screen, env, render + # run + assume-console [ + press F4 + ] + event-loop screen, console, env, resources + # screen prints error message + screen-should-contain [ + . errors found (0) run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo 4, 0 . + .foo: divide by zero in '_, c:num <- divide-with-r↩. + .emainder a, b' . + .──────────────────────────────────────────────────. + . . + ] + # click on the call in the sandbox + assume-console [ + left-click 4, 15 + ] + run [ + event-loop screen, console, env, resources + ] + # screen should expand trace + screen-should-contain [ + . errors found (0) run (F4) . + . . + .──────────────────────────────────────────────────. + .0 edit copy delete . + .foo 4, 0 . + .dividing by 0 . + .14 instructions run . + .foo: divide by zero in '_, c:num <- divide-with-r↩. + .emainder a, b' . + .──────────────────────────────────────────────────. + . . + ] +] |