6618 - new docs - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

about summary refs log tree commit diff stats

diff options

author	Kartik Agaram <vc@akkartik.com>	2020-07-05 15:28:37 -0700
committer	Kartik Agaram <vc@akkartik.com>	2020-07-06 01:05:10 -0700
commit	9a524793ee01ce47f3963768559a0d6c348631c5 (patch)
tree	aa1045424609f1a14a7a8e5bfaa1517101acd894 /apps/random
parent	3ccb2c83280e22ad5b7f7c47d7bd95748b969521 (diff)
download	mu-9a524793ee01ce47f3963768559a0d6c348631c5.tar.gz

6618 - new docs

Diffstat (limited to 'apps/random')

0 files changed, 0 insertions, 0 deletions

href='/akkartik/mu/blame/sandbox/010-warnings.mu?h=hlt&id=5f52da4aeeccd949d31b3bae9e5510b521fb173d'>^

be422222 ^

fa94f4d9 ^

be422222 ^

fa94f4d9 ^

be422222 ^

fa94f4d9 ^

65d5fb17 ^

fa94f4d9 ^

5c6587d0 ^

3f7eed6c ^

5c6587d0 ^

3f7eed6c ^

fa94f4d9 ^

e00d4854 ^

fa94f4d9 ^

e330f854 ^

fa94f4d9 ^

e330f854 ^

fa94f4d9 ^

4379069e ^

fa94f4d9 ^

4379069e ^

fa94f4d9 ^

65d5fb17 ^

fa94f4d9 ^

e00d4854 ^

fa94f4d9 ^

e330f854 ^

fa94f4d9 ^

e330f854 ^

fa94f4d9 ^

4379069e ^

fa94f4d9 ^

e00d4854 ^

fa94f4d9 ^

e330f854 ^

fa94f4d9 ^

e330f854 ^

fa94f4d9 ^

22a25240 ^

11
12
13

66
67
68

79
80

94
95

105
106

112
113

116
117
118

136
137

## handling malformed programs

container programming-environment-data [
  recipe-warnings:address:array:character
]

# copy code from recipe editor, persist, load into mu, save any warnings
recipe! update-recipes env:address:programming-environment-data, screen:address:screen -> errors-found?:boolean, env:address:programming-environment-data, screen:address:screen [
  local-scope
  load-ingredients
  in:address:array:character <- restore [recipes.mu]
  recipe-warnings:address:address:array:character <- get-address *env, recipe-warnings:offset
  *recipe-warnings <- reload in
  # if recipe editor has errors, stop
  {
    break-unless *recipe-warnings
    status:address:array:character <- new [errors found]
    update-status screen, status, 1/red
  }
  errors-found? <- copy 0/false
]

before <render-components-end> [
  trace 11, [app], [render status]
  recipe-warnings:address:array:character <- get *env, recipe-warnings:offset
  {
    break-unless recipe-warnings
    status:address:array:character <- new [errors found]
    update-status screen, status, 1/red
  }
]

container sandbox-data [
  warnings:address:array:character
]

recipe! update-sandbox sandbox:address:sandbox-data, env:address:programming-environment-data -> sandbox:address:sandbox-data [
  local-scope
  load-ingredients
  data:address:array:character <- get *sandbox, data:offset
  response:address:address:array:character <- get-address *sandbox, response:offset
  warnings:address:address:array:character <- get-address *sandbox, warnings:offset
  trace:address:address:array:character <- get-address *sandbox, trace:offset
  fake-screen:address:address:screen <- get-address *sandbox, screen:offset
  recipe-warnings:address:array:character <- get *env, recipe-warnings:offset
  {
    break-unless recipe-warnings
    *warnings <- copy recipe-warnings
    reply
  }
  *response, *warnings, *fake-screen, *trace, completed?:boolean <- run-interactive data
  {
    break-if *warnings
    break-if completed?:boolean
    *warnings <- new [took too long!
]
  }
]

# make sure we render any trace
after <render-sandbox-trace-done> [
  {
    sandbox-warnings:address:array:character <- get *sandbox, warnings:offset
    break-unless sandbox-warnings
    *response-starting-row <- copy 0  # no response
    {
      break-unless env
      recipe-warnings:address:array:character <- get *env, recipe-warnings:offset
      row, screen <- render screen, recipe-warnings, left, right, 1/red, row
    }
    row, screen <- render screen, sandbox-warnings, left, right, 1/red, row
    # don't try to print anything more for this sandbox
    jump +render-sandbox-end:label
  }
]

scenario run-instruction-and-print-warnings [
  trace-until 100/app  # trace too long
  assume-screen 50/width, 15/height
  1:address:array:character <- new [get 1:address:point, 1:offset]
  2:address:programming-environment-data <- new-programming-environment screen:address:screen, 1:address:array:character
  assume-console [
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, 2:address:programming-environment-data
  ]
  screen-should-contain [
    .                               run (F4)           .
    .                                                  .
    .━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
    .                                                 x.
    .get 1:address:point, 1:offset                     .
    .first ingredient of 'get' should be a container, ↩.
    .but got 1:address:point                           .
    .━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
    .                                                  .
  ]
  screen-should-contain-in-color 1/red, [
    .                                                  .
    .                                                  .
    .                                                  .
    .                                                  .
    .                                                  .
    .first ingredient of 'get' should be a container,  .
    .but got 1:address:point                           .
    .                                                  .
    .                                                  .
  ]
]

# todo: print warnings in file even if you can't run a sandbox

scenario run-instruction-and-print-warnings-only-once [
  trace-until 100/app  # trace too long
  assume-screen 50/width, 10/height
  # editor contains an illegal instruction
  1:address:array:character <- new [get 1234:number, foo:offset]
  2:address:programming-environment-data <- new-programming-environment screen:address:screen, 1:address:array:character
  # run the code in the editors multiple times
  assume-console [
    press F4
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, 2:address:programming-environment-data
  ]
  # check that screen prints error message just once
  screen-should-contain [
    .                               run (F4)           .
    .                                                  .
    .━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
    .                                                 x.
    .get 1234:number, foo:offset                       .
    .unknown element foo in container number           .
    .first ingredient of 'get' should be a container, ↩.
    .but got 1234:number                               .
    .━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
    .                                                  .
  ]
]

scenario sandbox-can-handle-infinite-loop [
  trace-until 100/app  # trace too long
  assume-screen 50/width, 20/height
  # editor contains an infinite loop
  1:address:array:character <- new [{
loop
}]
  2:address:programming-environment-data <- new-programming-environment screen:address:screen, 1:address:array:character
  # run the sandbox
  assume-console [
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, 2:address:programming-environment-data
  ]
  screen-should-contain [
    .                               run (F4)           .
    .                                                  .
    .━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
    .                                                 x.
    .{                                                 .
    .loop                                              .
    .}                                                 .
    .took too long!                                    .
    .━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.
    .                                                  .
  ]
]

# todo: scenario sandbox-with-warnings-shows-trace from edit/


context:
space:
mode: