diff options
Diffstat (limited to 'archive/2.vm/sandbox/011-errors.mu')
| -rw-r--r-- | archive/2.vm/sandbox/011-errors.mu | 687 |
1 files changed, 0 insertions, 687 deletions
diff --git a/archive/2.vm/sandbox/011-errors.mu b/archive/2.vm/sandbox/011-errors.mu deleted file mode 100644 index 2f59d1fe..00000000 --- a/archive/2.vm/sandbox/011-errors.mu +++ /dev/null @@ -1,687 +0,0 @@ -## 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' . - .──────────────────────────────────────────────────. - . . - ] -] |