<!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 - 502test.mu</title>
<meta name="Generator" content="Vim/8.1">
<meta name="plugin-version" content="vim8.1_v1">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal-light">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #ffffd7; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #ffffd7; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.PreProc { color: #c000c0; }
.Special { color: #ff6060; }
.LineNr { }
.Constant { color: #008787; }
.Delimiter { color: #c000c0; }
.muFunction { color: #af5f00; text-decoration: underline; }
.muTest { color: #5f8700; }
.muComment { color: #005faf; }
-->
</style>
<script type='text/javascript'>
<!--
/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
var lineNum;
lineNum = window.location.hash;
lineNum = lineNum.substr(1); /* strip off '#' */
if (lineNum.indexOf('L') == -1) {
lineNum = 'L'+lineNum;
}
var lineElem = document.getElementById(lineNum);
/* Always jump to new location even if the line was hidden inside a fold, or
* we corrected the raw number to a line ID.
*/
if (lineElem) {
lineElem.scrollIntoView(true);
}
return true;
}
if ('onhashchange' in window) {
window.onhashchange = JumpToLine;
}
-->
</script>
</head>
<body onload='JumpToLine();'>
<a href='https://github.com/akkartik/mu/blob/main/502test.mu'>https://github.com/akkartik/mu/blob/main/502test.mu</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr"> 1 </span><span class="muComment"># print msg to screen if a != b, otherwise print "."</span>
<span id="L2" class="LineNr"> 2 </span><span class="PreProc">fn</span> <span class="muFunction"><a href='502test.mu.html#L2'>check-ints-equal</a></span> _a: int, b: int, msg: (addr array byte) <span class="Delimiter">{</span>
<span id="L3" class="LineNr"pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */## handling malformed programs
container environment [
recipe-errors:text
]
# copy code from recipe editor, persist to disk, load, save any errors
def! update-recipes env:&:environment, screen:&:screen -> errors-found?:bool, env:&:environment, screen:&:screen [
local-scope
load-ingredients
recipes:&:editor <- get *env, recipes:offset
in:text <- editor-contents recipes
save [recipes.mu], in
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 1/true
return
}
errors-found? <- copy 0/false
]
before <render-components-end> [
trace 11, [app], [render status]
recipe-errors:text <- get *env, recipe-errors:offset
{
break-unless recipe-errors
update-status screen, [errors found ], 1/red
}
]
before <render-recipe-components-end> [
{
recipe-errors:text <- get *env, recipe-errors:offset
break-unless recipe-errors
row, screen <- render-text screen, recipe-errors, left, right, 1/red, row
}
]
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 <run-sandboxes-begin> [
*env <- put *env, error-index:offset, -1
]
before <run-sandboxes-end> [
{
error-index:num <- get *env, error-index:offset
sandboxes-completed-successfully?:bool <- equal error-index, -1
break-if sandboxes-completed-successfully?
errors-found? <- copy 1/true
}
]
before <render-components-end> [
{
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-ingredients
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?:bool
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
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 100/width, 15/height
recipes:text <- new [
recipe foo [
get 123:num, foo:offset
]]
env:&:environment <- new-programming-environment screen, recipes, [foo]
assume-console [
press F4
]
run [
event-loop screen, console, env
]
screen-should-contain [
. errors found run (F4) .
. ┊foo .
.recipe foo [ ┊─────────────────────────────────────────────────.
. get 123:num, foo:offset ┊ .
.] ┊ .
.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 .
. .
. .
. .
. .
.foo: unknown element 'foo' in container 'number' .
.foo: first ingredient of 'get' should be a contai .
.ner, but got '123:num' .
. .
]
]
scenario run-updates-status-with-first-erroneous-sandbox [
local-scope
trace-until 100/app # trace too long
assume-screen 100/width, 15/height
env:&:environment <- new-programming-environment screen, [], []
assume-console [
left-click 3, 80
# 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
]
# 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 100/width, 15/height
env:&:environment <- new-programming-environment screen, [], []
assume-console [
left-click 3, 80
# 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
]
# 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 100/width, 15/height
env:&:environment <- new-programming-environment screen, [], [get foo, x:offset] # invalid
assume-console [
press F4 # generate error
]
run [
event-loop screen, console, env
]
assume-console [
left-click 3, 58
press ctrl-k
type [add 2, 2] # valid code
press F4 # update sandbox
]
run [
event-loop screen, console, env
]
# 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 100/width, 15/height
# define a shape-shifting recipe with an error
recipes:text <- new [recipe foo x:_elem -> z:_elem [
local-scope
load-ingredients
y:&:num <- copy 0
z <- add x, y
]]
env:&:environment <- new-programming-environment screen, recipes, [foo 2]
assume-console [
press F4
]
event-loop screen, console, env
screen-should-contain [
. errors found (0) run (F4) .
.recipe foo x:_elem -> z:_elem [ ┊ .
.local-scope ┊─────────────────────────────────────────────────.
.load-ingredients ┊0 edit copy delete .
.y:&:num <- copy 0 ┊foo 2 .
.z <- add x, y ┊foo_2: 'add' requires number ingredients, but go↩.
.] ┊t 'y' .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
. ┊ .
]
# now rerun everything
assume-console [
press F4
]
run [
event-loop screen, console, env
]
# error should remain unchanged
screen-should-contain [
. errors found (0) run (F4) .
.recipe foo x:_elem -> z:_elem [ ┊ .
.local-scope ┊─────────────────────────────────────────────────.
.load-ingredients ┊0 edit copy delete .
.y:&:num <- copy 0 ┊foo 2 .
.z <- add x, y ┊foo_3: 'add' requires number ingredients, but go↩.
.] ┊t 'y' .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
. ┊ .
]
]
scenario run-avoids-spurious-errors-on-reloading-shape-shifting-recipes [
local-scope
trace-until 100/app # trace too long
assume-screen 100/width, 15/height
# overload a well-known shape-shifting recipe
recipes:text <- new [recipe length l:&:list:_elem -> n:num [
]]
# call code that uses other variants of it, but not it itself
sandbox:text <- new [x:&:list:num <- copy 0
to-text x]
env:&:environment <- new-programming-environment screen, recipes, sandbox
# run it once
assume-console [
press F4
]
event-loop screen, console, env
# 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
]
# 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 100/width, 15/height
recipes:text <- new [
recipe foo [
x <- copy 0
]]
env:&:environment <- new-programming-environment screen, recipes, [foo]
assume-console [
press F4
]
run [
event-loop screen, console, env
]
screen-should-contain [
. errors found run (F4) .
. ┊foo .
.recipe foo [ ┊─────────────────────────────────────────────────.
. x <- copy 0 ┊ .
.] ┊ .
.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 100/width, 15/height
# recipe is incomplete (unbalanced '[')
recipes:text <- new [
recipe foo \\[
x <- copy 0
]
env:&:environment <- new-programming-environment screen, recipes, [foo]
assume-console [
press F4
]
run [
event-loop screen, console, env
]
screen-should-contain [
. errors found run (F4) .
. ┊foo .
.recipe foo \\[ ┊─────────────────────────────────────────────────.
. x <- copy 0 ┊ .
. ┊ .
.9: unbalanced '\\[' for recipe ┊ .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .
. ┊ .
]
]
scenario run-shows-get-on-non-container-errors [
local-scope
trace-until 100/app # trace too long
assume-screen 100/width, 15/height
recipes:text <- new [
recipe foo [
local-scope
x:&:point <- new point:type
get x:&:point, 1:offset
]]
env:&:environment <- new-programming-environment screen, recipes, [foo]
assume-console [
press F4
]
run [
event-loop screen, console, env
]
screen-should-contain [
. errors found run (F4) .
. ┊foo .
.recipe foo [ ┊─────────────────────────────────────────────────.
. local-scope ┊ .
. x:&:point <- new point:type ┊ .
. get x:&:point, 1:offset ┊ .
.] ┊ .
.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 100/width, 15/height
recipes:text <- new [
recipe foo [
local-scope
x:num <- copy 0
y:&:point <- new point:type
get *y:&:point, x:num
]]
env:&:environment <- new-programming-environment screen, recipes, [foo]
assume-console [
press F4
]
run [
event-loop screen, console, env
]
screen-should-contain [
. errors found run (F4) .
. ┊foo .
.recipe foo [ ┊─────────────────────────────────────────────────.
. local-scope ┊ .
. x:num <- copy 0 ┊ .
. y:&:point <- new point:type ┊ .
. get *y:&:point, x:num ┊ .
.] ┊ .
.foo: second ingredient of 'get' should have type ↩┊ .
.'offset', but got 'x:num' ┊ .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .
. ┊ .
]
]
scenario run-shows-errors-everytime [
local-scope
trace-until 100/app # trace too long
# try to run a file with an error
assume-screen 100/width, 15/height
recipes:text <- new [
recipe foo [
local-scope
x:num <- copy y:num
]]
env:&:environment <- new-programming-environment screen, recipes, [foo]
assume-console [
press F4
]
event-loop screen, console, env
screen-should-contain [
. errors found run (F4) .
. ┊foo .
.recipe foo [ ┊─────────────────────────────────────────────────.
. local-scope ┊ .
. x:num <- copy y:num ┊ .
.] ┊ .
.foo: use before set: 'y' ┊ .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .
. ┊ .
]
# rerun the file, check for the same error
assume-console [
press F4
]
run [
event-loop screen, console, env
]
screen-should-contain [
. errors found run (F4) .
. ┊foo .
.recipe foo [ ┊─────────────────────────────────────────────────.
. local-scope ┊ .
. x:num <- copy y:num ┊ .
.] ┊ .
.foo: use before set: 'y' ┊ .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .
. ┊ .
]
]
scenario run-instruction-and-print-errors [
local-scope
trace-until 100/app # trace too long
assume-screen 100/width, 10/height
# right editor contains an illegal instruction
sandbox:text <- new [get 1234:num, foo:offset]
env:&:environment <- new-programming-environment screen, [], sandbox
# run the code in the editors
assume-console [
press F4
]
run [
event-loop screen, console, env
]
# check that screen prints error message in red
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' .
. ┊─────────────────────────────────────────────────.
. ┊ .
]
screen-should-contain-in-color 7/white, [
. .
. .
. .
. .
. get 1234:num, foo:offset .
. .
. .
. .
]
screen-should-contain-in-color 1/red, [
. errors found (0) .
. .
. .
. .
. .
. unknown element 'foo' in container 'number' .
. first ingredient of 'get' should be a container, .
. but got '1234:num' .
. .
]
screen-should-contain-in-color 245/grey, [
. .
. ┊ .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
. ┊ .
. ┊ .
. ┊ .
. ┊ ↩.
. ┊ .
. ┊─────────────────────────────────────────────────.
. ┊ .
]
]
scenario run-instruction-and-print-errors-only-once [
local-scope
trace-until 100/app # trace too long
assume-screen 100/width, 10/height
# right editor contains an illegal instruction
sandbox:text <- new [get 1234:num, foo:offset]
env:&:environment <- new-programming-environment screen, [], sandbox
# run the code in the editors multiple times
assume-console [
press F4
press F4
]
run [
event-loop screen, console, env
]
# 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 100/width, 20/height
# left editor is empty
recipes:text <- new [recipe foo [
{
loop
}
]]
# right editor contains an instruction
env:&:environment <- new-programming-environment screen, recipes, [foo]
# run the sandbox
assume-console [
press F4
]
run [
event-loop screen, console, env
]
screen-should-contain [
. errors found (0) run (F4) .
.recipe foo [ ┊ .
. { ┊─────────────────────────────────────────────────.
. loop ┊0 edit copy delete .
. } ┊foo .
.] ┊took too long! .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
. ┊ .
]
]
scenario sandbox-with-errors-shows-trace [
local-scope
trace-until 100/app # trace too long
assume-screen 100/width, 10/height
# generate a stash and a error
recipes:text <- new [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 screen, recipes, [foo 4, 0]
# run
assume-console [
press F4
]
event-loop screen, console, env
# screen prints error message
screen-should-contain [
. errors found (0) run (F4) .
.recipe foo [ ┊ .
.local-scope ┊─────────────────────────────────────────────────.
.a:num <- next-ingredient ┊0 edit copy delete .
.b:num <- next-ingredient ┊foo 4, 0 .
.stash [dividing by], b ┊foo: divide by zero in '_, c:num <- divide-with-↩.
._, c:num <- divide-with-remainder a, b ┊remainder a, b' .
.reply b ┊─────────────────────────────────────────────────.
.] ┊ .
]
# click on the call in the sandbox
assume-console [
left-click 4, 55
]
run [
event-loop screen, console, env
]
# screen should expand trace
screen-should-contain [
. errors found (0) run (F4) .
.recipe foo [ ┊ .
.local-scope ┊─────────────────────────────────────────────────.
.a:num <- next-ingredient ┊0 edit copy delete .
.b:num <- next-ingredient ┊foo 4, 0 .
.stash [dividing by], b ┊dividing by 0 .
._, c:num <- divide-with-remainder a, b ┊14 instructions run .
.reply b ┊foo: divide by zero in '_, c:num <- divide-with-↩.
.] ┊remainder a, b' .
.┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊─────────────────────────────────────────────────.
]
]