<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - edit/011-errors.mu</title>
<meta name="Generator" content="Vim/7.4">
<meta name="plugin-version" content="vim7.4_v2">
<meta name="syntax" content="none">
<meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy=">
<meta name="colorscheme" content="minimal">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
* { font-size: 12pt; font-size: 1em; }
.muRecipe { color: #ff8700; }
.muData { color: #ffff00; }
.muScenario { color: #00af00; }
.Delimiter { color: #800080; }
.Special { color: #c00000; }
.Comment { color: #9090ff; }
.Constant { color: #00a0a0; }
.SalientComment { color: #00ffff; }
.muControl { color: #c0a020; }
-->
</style>
<script type='text/javascript'>
<!--
-->
</script>
</head>
<body>
<pre id='vimCodeElement'>
<span class="SalientComment">## handling malformed programs</span>
<span class="muData">container</span> environment [
recipe-errors:text
]
<span class="Comment"># copy code from recipe editor, persist, load into mu, save any errors</span>
<span class="muRecipe">def!</span> update-recipes env:&:environment, screen:&:screen<span class="muRecipe"> -> </span>errors-found?:bool, env:&:environment, screen:&:screen [
<span class="Constant">local-scope</span>
<span class="Constant">load-ingredients</span>
recipes:&:editor<span class="Special"> <- </span>get *env, <span class="Constant">recipes:offset</span>
in:text<span class="Special"> <- </span>editor-contents recipes
save <span class="Constant">[recipes.mu]</span>, in
recipe-errors:text<span class="Special"> <- </span>reload in
*env<span class="Special"> <- </span>put *env, <span class="Constant">recipe-errors:offset</span>, recipe-errors
<span class="Comment"># if recipe editor has errors, stop</span>
<span class="Delimiter">{</span>
<span class="muControl">break-unless</span> recipe-errors
update-status screen, <span class="Constant">[errors found ]</span>, <span class="Constant">1/red</span>
errors-found?<span class="Special"> <- </span>copy <span class="Constant">1/true</span>
<span class="muControl">return</span>
<span class="Delimiter">}</span>
errors-found?<span class="Special"> <- </span>copy <span class="Constant">0/false</span>
]
<span class="muRecipe">before</span> <span class="Constant"><render-components-end></span> [
trace <span class="Constant">11</span>, <span class="Constant">[app]</span>, <span class="Constant">[render status]</span>
recipe-errors:text<span class="Special"> <- </span>get *env, <span class="Constant">recipe-errors:offset</span>
<span class="Delimiter">{</span>
<span class="muControl">break-unless</span> recipe-errors
update-status screen, <span class="Constant">[errors found ]</span>, <span class="Constant">1/red</span>
<span class="Delimiter">}</span>
]
<span class="muRecipe">before</span> <span class="Constant"><render-recipe-components-end></span> [
<span class="Delimiter">{</span>
recipe-errors:text<span class="Special"> <- </span>get *env, <span class="Constant">recipe-errors:offset</span>
<span class="muControl">break-unless</span> recipe-errors
row, screen<span class="Special"> <- </span>render-text screen, recipe-errors, left, right, <span class="Constant">1/red</span>, row
<span class="Delimiter">}</span>
]
<span class="muData">container</span> environment [
error-index:num <span class="Comment"># index of first sandbox with an error (or -1 if none)</span>
]
<span class="muRecipe">after</span> <span class="Constant"><programming-environment-initialization></span> [
*result<span class="Special"> <- </span>put *result, <span class="Constant">error-index:offset</span>, <span class="Constant">-1</span>
]
<span class="muRecipe">after</span> <span class="Constant"><run-sandboxes-begin></span> [
*env<span class="Special"> <- </span>put *env, <span class="Constant">error-index:offset</span>, <span class="Constant">-1</span>
]
<span class="muRecipe">before</span> <span class="Constant"><run-sandboxes-end></span> [
<span class="Delimiter">{</span>
error-index:num<span class="Special"> <- </span>get *env, <span class="Constant">error-index:offset</span>
sandboxes-completed-successfully?:bool<span class="Special"> <- </span>equal error-index, <span class="Constant">-1</span>
<span class="muControl">break-if</span> sandboxes-completed-successfully?
errors-found?<span class="Special"> <- </span>copy <span class="Constant">1/true</span>
<span class="Delimiter">}</span>
]
<span class="muRecipe">before</span> <span class="Constant"><render-components-end></span> [
<span class="Delimiter">{</span>
<span class="muControl">break-if</span> recipe-errors
error-index:num<span class="Special"> <- </span>get *env, <span class="Constant">error-index:offset</span>
sandboxes-completed-successfully?:bool<span class="Special"> <- </span>equal error-index, <span class="Constant">-1</span>
<span class="muControl">break-if</span> sandboxes-completed-successfully?
error-index-text:text<span class="Special"> <- </span>to-text error-index
status:text<span class="Special"> <- </span>interpolate <span class="Constant">[errors found (_) ]</span>, error-index-text
update-status screen, status, <span class="Constant">1/red</span>
<span class="Delimiter">}</span>
]
<span class="muData">container</span> sandbox [
errors:text
]
<span class="muRecipe">def!</span> update-sandbox sandbox:&:sandbox, env:&:environment, idx:num<span class="muRecipe"> -> </span>sandbox:&:sandbox, env:&:environment [
<span class="Constant">local-scope</span>
<span class="Constant">load-ingredients</span>
data:text<span class="Special"> <- </span>get *sandbox, <span class="Constant">data:offset</span>
response:text, errors:text, fake-screen:&:screen, trace:text, completed?:bool<span class="Special"> <- </span>run-sandboxed data
*sandbox<span class="Special"> <- </span>put *sandbox, <span class="Constant">response:offset</span>, response
*sandbox<span class="Special"> <- </span>put *sandbox, <span class="Constant">errors:offset</span>, errors
*sandbox<span class="Special"> <- </span>put *sandbox, <span class="Constant">screen:offset</span>, fake-screen
*sandbox<span class="Special"> <- </span>put *sandbox, <span class="Constant">trace:offset</span>, trace
<span class="Delimiter">{</span>
<span class="muControl">break-if</span> errors
<span class="muControl">break-if</span> completed?:bool
errors<span class="Special"> <- </span>new <span class="Constant">[took too long!</span>
<span class="Constant">]</span>
*sandbox<span class="Special"> <- </span>put *sandbox, <span class="Constant">errors:offset</span>, errors
<span class="Delimiter">}</span>
<span class="Delimiter">{</span>
<span class="muControl">break-unless</span> errors
error-index:num<span class="Special"> <- </span>get *env, <span class="Constant">error-index:offset</span>
error-not-set?:bool<span class="Special"> <- </span>equal error-index, <span class="Constant">-1</span>
<span class="muControl">break-unless</span> error-not-set?
*env<span class="Special"> <- </span>put *env, <span class="Constant">error-index:offset</span>, idx
<span class="Delimiter">}</span>
]
<span class="Comment"># make sure we render any trace</span>
<span class="muRecipe">after</span> <span class="Constant"><render-sandbox-trace-done></span> [
<span class="Delimiter">{</span>
sandbox-errors:text<span class="Special"> <- </span>get *sandbox, <span class="Constant">errors:offset</span>
<span class="muControl">break-unless</span> sandbox-errors
*sandbox<span class="Special"> <- </span>put *sandbox, <span class="Constant">response-starting-row-on-screen:offset</span>, <span class="Constant">0</span> <span class="Comment"># no response</span>
row, screen<span class="Special"> <- </span>render-text screen, sandbox-errors, left, right, <span class="Constant">1/red</span>, row
<span class="Comment"># don't try to print anything more for this sandbox</span>
<span class="muControl">jump</span> <span class="Constant">+render-sandbox-end:label</span>
<span class="Delimiter">}</span>
]
<span class="muScenario">scenario</span> run-shows-errors-in-get [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant"> get 123:num, foo:offset</span>
<span class="Constant">]</span>]
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, <span class="Constant">[foo]</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
screen-should-contain [
<span class="Constant"> . errors found run (F4) .</span>
<span class="Constant"> . ┊foo .</span>
<span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . get 123:num, foo:offset ┊ .</span>
<span class="Constant"> .] ┊ .</span>
<span class="Constant"> .foo: unknown element 'foo' in container 'number' ┊ .</span>
<span class="Constant"> .foo: first ingredient of 'get' should be a contai↩┊ .</span>
<span class="Constant"> .ner, but got '123:num' ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span>
<span class="Constant"> . ┊ .</span>
]
screen-should-contain-in-color <span class="Constant">1/red</span>, [
<span class="Constant"> . errors found .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> .foo: unknown element 'foo' in container 'number' .</span>
<span class="Constant"> .foo: first ingredient of 'get' should be a contai .</span>
<span class="Constant"> .ner, but got '123:num' .</span>
<span class="Constant"> . .</span>
]
]
<span class="muScenario">scenario</span> run-updates-status-with-first-erroneous-sandbox [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, <span class="Constant">[]</span>, <span class="Constant">[]</span>
assume-console [
left-click <span class="Constant">3</span>, <span class="Constant">80</span>
<span class="Comment"># create invalid sandbox 1</span>
<span class="muData">type</span> <span class="Constant">[get foo, x:offset]</span>
press F4
<span class="Comment"># create invalid sandbox 0</span>
<span class="muData">type</span> <span class="Constant">[get foo, x:offset]</span>
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
<span class="Comment"># status line shows that error is in first sandbox</span>
screen-should-contain [
<span class="Constant"> . errors found (0) run (F4) .</span>
]
]
<span class="muScenario">scenario</span> run-updates-status-with-first-erroneous-sandbox-2 [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, <span class="Constant">[]</span>, <span class="Constant">[]</span>
assume-console [
left-click <span class="Constant">3</span>, <span class="Constant">80</span>
<span class="Comment"># create invalid sandbox 2</span>
<span class="muData">type</span> <span class="Constant">[get foo, x:offset]</span>
press F4
<span class="Comment"># create invalid sandbox 1</span>
<span class="muData">type</span> <span class="Constant">[get foo, x:offset]</span>
press F4
<span class="Comment"># create valid sandbox 0</span>
<span class="muData">type</span> <span class="Constant">[add 2, 2]</span>
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
<span class="Comment"># status line shows that error is in second sandbox</span>
screen-should-contain [
<span class="Constant"> . errors found (1) run (F4) .</span>
]
]
<span class="muScenario">scenario</span> run-hides-errors-from-past-sandboxes [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, <span class="Constant">[]</span>, <span class="Constant">[get foo, x:offset]</span> <span class="Comment"># invalid</span>
assume-console [
press F4 <span class="Comment"># generate error</span>
]
run [
event-loop screen:&:screen, console:&:console, env
]
assume-console [
left-click <span class="Constant">3</span>, <span class="Constant">58</span>
press ctrl-k
<span class="muData">type</span> <span class="Constant">[add 2, 2]</span> <span class="Comment"># valid code</span>
press F4 <span class="Comment"># update sandbox</span>
]
run [
event-loop screen:&:screen, console:&:console, env
]
<span class="Comment"># error should disappear</span>
screen-should-contain [
<span class="Constant"> . run (F4) .</span>
<span class="Constant"> . ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊0 edit copy delete .</span>
<span class="Constant"> . ┊add 2, 2 .</span>
<span class="Constant"> . ┊4 .</span>
<span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊ .</span>
]
]
<span class="muScenario">scenario</span> run-updates-errors-for-shape-shifting-recipes [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
<span class="Comment"># define a shape-shifting recipe with an error</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[recipe foo x:_elem -> z:_elem [</span>
<span class="Constant">local-scope</span>
<span class="Constant">load-ingredients</span>
<span class="Constant">y:&:num <- copy 0</span>
<span class="Constant">z <- add x, y</span>
<span class="Constant">]</span>]
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, <span class="Constant">[foo 2]</span>
assume-console [
press F4
]
event-loop screen:&:screen, console:&:console, env
screen-should-contain [
<span class="Constant"> . errors found (0) run (F4) .</span>
<span class="Constant"> .recipe foo x:_elem -> z:_elem [ ┊ .</span>
<span class="Constant"> .local-scope ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> .load-ingredients ┊0 edit copy delete .</span>
<span class="Constant"> .y:&:num <- copy 0 ┊foo 2 .</span>
<span class="Constant"> .z <- add x, y ┊foo_2: 'add' requires number ingredients, but go↩.</span>
<span class="Constant"> .] ┊t 'y' .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊ .</span>
]
<span class="Comment"># now rerun everything</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
<span class="Comment"># error should remain unchanged</span>
screen-should-contain [
<span class="Constant"> . errors found (0) run (F4) .</span>
<span class="Constant"> .recipe foo x:_elem -> z:_elem [ ┊ .</span>
<span class="Constant"> .local-scope ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> .load-ingredients ┊0 edit copy delete .</span>
<span class="Constant"> .y:&:num <- copy 0 ┊foo 2 .</span>
<span class="Constant"> .z <- add x, y ┊foo_3: 'add' requires number ingredients, but go↩.</span>
<span class="Constant"> .] ┊t 'y' .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊ .</span>
]
]
<span class="muScenario">scenario</span> run-avoids-spurious-errors-on-reloading-shape-shifting-recipes [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
<span class="Comment"># overload a well-known shape-shifting recipe</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[recipe length l:&:list:_elem -> n:num [</span>
<span class="Constant">]</span>]
<span class="Comment"># call code that uses other variants of it, but not it itself</span>
sandbox:text<span class="Special"> <- </span>new <span class="Constant">[x:&:list:num <- copy 0</span>
<span class="Constant">to-text x]</span>
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, sandbox
<span class="Comment"># run it once</span>
assume-console [
press F4
]
event-loop screen:&:screen, console:&:console, env
<span class="Comment"># no errors anywhere on screen (can't check anything else, since to-text will return an address)</span>
screen-should-contain-in-color <span class="Constant">1/red</span>, [
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . <- .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
]
<span class="Comment"># rerun everything</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
<span class="Comment"># still no errors</span>
screen-should-contain-in-color <span class="Constant">1/red</span>, [
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . <- .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
]
]
<span class="muScenario">scenario</span> run-shows-missing-type-errors [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant"> x <- copy 0</span>
<span class="Constant">]</span>]
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, <span class="Constant">[foo]</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
screen-should-contain [
<span class="Constant"> . errors found run (F4) .</span>
<span class="Constant"> . ┊foo .</span>
<span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . x <- copy 0 ┊ .</span>
<span class="Constant"> .] ┊ .</span>
<span class="Constant"> .foo: missing type for 'x' in 'x <- copy 0' ┊ .</span>
]
]
<span class="muScenario">scenario</span> run-shows-unbalanced-bracket-errors [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
<span class="Comment"># recipe is incomplete (unbalanced '[')</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo \\[</span>
<span class="Constant"> x <- copy 0</span>
<span class="Constant">]</span>
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, <span class="Constant">[foo]</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
screen-should-contain [
<span class="Constant"> . errors found run (F4) .</span>
<span class="Constant"> . ┊foo .</span>
<span class="Constant"> .recipe foo \\[ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . x <- copy 0 ┊ .</span>
<span class="Constant"> . ┊ .</span>
<span class="Constant"> .9: unbalanced '\\[' for recipe ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span>
<span class="Constant"> . ┊ .</span>
]
]
<span class="muScenario">scenario</span> run-shows-get-on-non-container-errors [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant"> local-scope</span>
<span class="Constant"> x:&:point <- new point:type</span>
<span class="Constant"> get x:&:point, 1:offset</span>
<span class="Constant">]</span>]
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, <span class="Constant">[foo]</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
screen-should-contain [
<span class="Constant"> . errors found run (F4) .</span>
<span class="Constant"> . ┊foo .</span>
<span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . local-scope ┊ .</span>
<span class="Constant"> . x:&:point <- new point:type ┊ .</span>
<span class="Constant"> . get x:&:point, 1:offset ┊ .</span>
<span class="Constant"> .] ┊ .</span>
<span class="Constant"> .foo: first ingredient of 'get' should be a contai↩┊ .</span>
<span class="Constant"> .ner, but got 'x:&:point' ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span>
<span class="Constant"> . ┊ .</span>
]
]
<span class="muScenario">scenario</span> run-shows-non-literal-get-argument-errors [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant"> local-scope</span>
<span class="Constant"> x:num <- copy 0</span>
<span class="Constant"> y:&:point <- new point:type</span>
<span class="Constant"> get *y:&:point, x:num</span>
<span class="Constant">]</span>]
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, <span class="Constant">[foo]</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
screen-should-contain [
<span class="Constant"> . errors found run (F4) .</span>
<span class="Constant"> . ┊foo .</span>
<span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . local-scope ┊ .</span>
<span class="Constant"> . x:num <- copy 0 ┊ .</span>
<span class="Constant"> . y:&:point <- new point:type ┊ .</span>
<span class="Constant"> . get *y:&:point, x:num ┊ .</span>
<span class="Constant"> .] ┊ .</span>
<span class="Constant"> .foo: second ingredient of 'get' should have type ↩┊ .</span>
<span class="Constant"> .'offset', but got 'x:num' ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span>
<span class="Constant"> . ┊ .</span>
]
]
<span class="muScenario">scenario</span> run-shows-errors-everytime [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
<span class="Comment"># try to run a file with an error</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant"> local-scope</span>
<span class="Constant"> x:num <- copy y:num</span>
<span class="Constant">]</span>]
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, <span class="Constant">[foo]</span>
assume-console [
press F4
]
event-loop screen:&:screen, console:&:console, env
screen-should-contain [
<span class="Constant"> . errors found run (F4) .</span>
<span class="Constant"> . ┊foo .</span>
<span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . local-scope ┊ .</span>
<span class="Constant"> . x:num <- copy y:num ┊ .</span>
<span class="Constant"> .] ┊ .</span>
<span class="Constant"> .foo: use before set: 'y' ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span>
<span class="Constant"> . ┊ .</span>
]
<span class="Comment"># rerun the file, check for the same error</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
screen-should-contain [
<span class="Constant"> . errors found run (F4) .</span>
<span class="Constant"> . ┊foo .</span>
<span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . local-scope ┊ .</span>
<span class="Constant"> . x:num <- copy y:num ┊ .</span>
<span class="Constant"> .] ┊ .</span>
<span class="Constant"> .foo: use before set: 'y' ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span>
<span class="Constant"> . ┊ .</span>
]
]
<span class="muScenario">scenario</span> run-instruction-and-print-errors [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">10/height</span>
<span class="Comment"># right editor contains an illegal instruction</span>
sandbox:text<span class="Special"> <- </span>new <span class="Constant">[get 1234:num, foo:offset]</span>
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, <span class="Constant">[]</span>, sandbox
<span class="Comment"># run the code in the editors</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
<span class="Comment"># check that screen prints error message in red</span>
screen-should-contain [
<span class="Constant"> . errors found (0) run (F4) .</span>
<span class="Constant"> . ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊0 edit copy delete .</span>
<span class="Constant"> . ┊get 1234:num, foo:offset .</span>
<span class="Constant"> . ┊unknown element 'foo' in container 'number' .</span>
<span class="Constant"> . ┊first ingredient of 'get' should be a container,↩.</span>
<span class="Constant"> . ┊ but got '1234:num' .</span>
<span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊ .</span>
]
screen-should-contain-in-color <span class="Constant">7/white</span>, [
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . get 1234:num, foo:offset .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
]
screen-should-contain-in-color <span class="Constant">1/red</span>, [
<span class="Constant"> . errors found (0) .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . .</span>
<span class="Constant"> . unknown element 'foo' in container 'number' .</span>
<span class="Constant"> . first ingredient of 'get' should be a container, .</span>
<span class="Constant"> . but got '1234:num' .</span>
<span class="Constant"> . .</span>
]
screen-should-contain-in-color <span class="Constant">245/grey</span>, [
<span class="Constant"> . .</span>
<span class="Constant"> . ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊ .</span>
<span class="Constant"> . ┊ .</span>
<span class="Constant"> . ┊ .</span>
<span class="Constant"> . ┊ ↩.</span>
<span class="Constant"> . ┊ .</span>
<span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊ .</span>
]
]
<span class="muScenario">scenario</span> run-instruction-and-print-errors-only-once [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">10/height</span>
<span class="Comment"># right editor contains an illegal instruction</span>
sandbox:text<span class="Special"> <- </span>new <span class="Constant">[get 1234:num, foo:offset]</span>
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, <span class="Constant">[]</span>, sandbox
<span class="Comment"># run the code in the editors multiple times</span>
assume-console [
press F4
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
<span class="Comment"># check that screen prints error message just once</span>
screen-should-contain [
<span class="Constant"> . errors found (0) run (F4) .</span>
<span class="Constant"> . ┊ .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊0 edit copy delete .</span>
<span class="Constant"> . ┊get 1234:num, foo:offset .</span>
<span class="Constant"> . ┊unknown element 'foo' in container 'number' .</span>
<span class="Constant"> . ┊first ingredient of 'get' should be a container,↩.</span>
<span class="Constant"> . ┊ but got '1234:num' .</span>
<span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊ .</span>
]
]
<span class="muScenario">scenario</span> sandbox-can-handle-infinite-loop [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">20/height</span>
<span class="Comment"># left editor is empty</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[recipe foo [</span>
<span class="Constant"> {</span>
<span class="Constant"> loop</span>
<span class="Constant"> }</span>
<span class="Constant">]</span>]
<span class="Comment"># right editor contains an instruction</span>
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, <span class="Constant">[foo]</span>
<span class="Comment"># run the sandbox</span>
assume-console [
press F4
]
run [
event-loop screen:&:screen, console:&:console, env
]
screen-should-contain [
<span class="Constant"> . errors found (0) run (F4) .</span>
<span class="Constant"> .recipe foo [ ┊ .</span>
<span class="Constant"> . { ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . loop ┊0 edit copy delete .</span>
<span class="Constant"> . } ┊foo .</span>
<span class="Constant"> .] ┊took too long! .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> . ┊ .</span>
]
]
<span class="muScenario">scenario</span> sandbox-with-errors-shows-trace [
<span class="Constant">local-scope</span>
trace-until <span class="Constant">100/app</span> <span class="Comment"># trace too long</span>
assume-screen <span class="Constant">100/width</span>, <span class="Constant">10/height</span>
<span class="Comment"># generate a stash and a error</span>
recipes:text<span class="Special"> <- </span>new <span class="Constant">[recipe foo [</span>
<span class="Constant">local-scope</span>
<span class="Constant">a:num <- next-ingredient</span>
<span class="Constant">b:num <- next-ingredient</span>
<span class="Constant">stash [dividing by]</span>, b
_, c:num<span class="Special"> <- </span>divide-with-remainder a, b
<span class="muControl">reply</span> b
]]
env:&:environment<span class="Special"> <- </span>new-programming-environment screen:&:screen, recipes, <span class="Constant">[foo 4, 0]</span>
<span class="Comment"># run</span>
assume-console [
press F4
]
event-loop screen:&:screen, console:&:console, env
<span class="Comment"># screen prints error message</span>
screen-should-contain [
<span class="Constant"> . errors found (0) run (F4) .</span>
<span class="Constant"> .recipe foo [ ┊ .</span>
<span class="Constant"> .local-scope ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> .a:num <- next-ingredient ┊0 edit copy delete .</span>
<span class="Constant"> .b:num <- next-ingredient ┊foo 4, 0 .</span>
<span class="Constant"> .stash [dividing by], b ┊foo: divide by zero in '_, c:num <- divide-with-↩.</span>
<span class="Constant"> ._, c:num <- divide-with-remainder a, b ┊remainder a, b' .</span>
<span class="Constant"> .reply b ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> .] ┊ .</span>
]
<span class="Comment"># click on the call in the sandbox</span>
assume-console [
left-click <span class="Constant">4</span>, <span class="Constant">55</span>
]
run [
event-loop screen:&:screen, console:&:console, env
]
<span class="Comment"># screen should expand trace</span>
screen-should-contain [
<span class="Constant"> . errors found (0) run (F4) .</span>
<span class="Constant"> .recipe foo [ ┊ .</span>
<span class="Constant"> .local-scope ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
<span class="Constant"> .a:num <- next-ingredient ┊0 edit copy delete .</span>
<span class="Constant"> .b:num <- next-ingredient ┊foo 4, 0 .</span>
<span class="Constant"> .stash [dividing by], b ┊dividing by 0 .</span>
<span class="Constant"> ._, c:num <- divide-with-remainder a, b ┊14 instructions run .</span>
<span class="Constant"> .reply b ┊foo: divide by zero in '_, c:num <- divide-with-↩.</span>
<span class="Constant"> .] ┊remainder a, b' .</span>
<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
]
]
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->