about summary refs log tree commit diff stats
path: root/archive/1.vm/sandbox/011-errors.mu
diff options
context:
space:
mode:
Diffstat (limited to 'archive/1.vm/sandbox/011-errors.mu')
-rw-r--r--archive/1.vm/sandbox/011-errors.mu687
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'                                    .
+    .──────────────────────────────────────────────────.
+    .                                                  .
+  ]
+]