diff options
Diffstat (limited to 'edit.mu')
| -rw-r--r-- | edit.mu | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/edit.mu b/edit.mu index 040cd270..b0d0d895 100644 --- a/edit.mu +++ b/edit.mu @@ -3203,6 +3203,35 @@ recipe foo [ ] ] +scenario run-shows-missing-type-warnings [ + $close-trace + assume-screen 100:literal/width, 15:literal/height + assume-console [ + press 65526 # F10 + ] + run [ + x:address:array:character <- new [ +recipe foo [ + x:number <- copy 0 + copy x +]] + y:address:array:character <- new [] + env:address:programming-environment-data <- new-programming-environment screen:address, x:address:array:character, y:address:array:character + event-loop screen:address, console:address, env:address:programming-environment-data + ] + screen-should-contain [ + . run (F10) . + . ┊ . + .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. + . x:number <- copy 0 ┊ . + . copy x ┊ . + .] ┊ . + .missing type in 'copy x' ┊ . + .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ . + . ┊ . + ] +] + ## helpers for drawing editor borders recipe draw-box [ |