about summary refs log blame commit diff stats
path: root/html/edit/011-errors.mu.html
blob: 6d0117bb546a6f5b24b4080489e3170b0d2f1aa4 (plain) (tree)
1
2
3
4
5
6
7
8
9
10



                                                                                          
                                      

                                                
                                   

                                                                                         

                       
                                                                                                 
                                                                                            



                                      
                               
                              
                            
                             
                                   
                              

        





                               

       
                         


                                                                    
                    

 
                                                                                                   
                                                                                                                                                                                                                                              
                                           
                                                
                                                                                                                       
                                                                    
                                                     
                                                                 
                                                                                                                     

                                                                  
                                                             
                                                                                                                
                                                                                              
                                         
                                  
                                                                                             



                                                                                                                            
                                                                                                                    
                                  
                                                             
                                                                                                                




                                                                                                         
                                                                                                                      
                                                             
                                                                                                                                           


                                  
                                                                    
                                                                                                         


                                                                                                                  
                                                                                                                                            


                                                                                               
                                                                                                                                      



                                                                                              

                                                                                                                                    






                                                                                                  


                                                                                                                                    
                                                                             

                                                                                                                                     
                                                                     


                                  
                                                    
             

 
                                                                                                                                                                                                                                                 
                                           
                                                

                                                                                                                                              



                                                                                                                    
                                  
                                                  
                                                              
                                                                                               
                               
                                                                                                                 
                                  
                                  


                                                                                                                    
                                                              
                                                                                                           
                                  

 

                                                                                                     
                                  
                                                                                                                    
                                                              
                                                                                                                                                                                                               
                                                                                                                                            
                                                                                    



                                                                                               
                                                                  
                                                                                                  
                                                                                                
                                                                                                              


                                                          

                                                                                                                                                                                                                                       



                  
                                                                                                                                   






                                                                                                                                                                                                                                            
                                                                                                                                          
                                                                                                                                            
                                                                                                                                          








                                                                                                                                                                                                                                              
                                                                                                                                        
                                                                                                                                        
                                                                                                                                        



                                                                                                                                        


                                                                                                  


                                                                                                                                                                                                                                       









                                                                                
                                                                                                                                   
   
                                                                                 







                                                                                                                                        


                                                                                                                                                                                                                                       












                                                                                
                                                                                                                                   
   
                                                                                  




                                                                                                                                        
                                                                               

                                                                                                  


                                                                                                                                                                                                                                       



                                                           
                                                                                                                                   

                  
                                                                                

                                                                                            
                                                           

       
                                                                                                                                   
   
                                                       



                                                                                                                                                                                                                                                                                                                                                
                                                                                                                                          






                                                                                                                                                                                                                                            
                                                                                        


                                                                                                  
                                                                                                                                               

                                              


                                                           

                                                                                                                                                                                                                                       


                  
                                                                                                                                 
                         
                                                                                                                                        

                                                                                                                                                                                                                                            
                                                                                                                                          

                                                                                                                                               
                                                                                                                                          
                                                                                                                                                                                                                                                                                                                                                






                                                                                                                                          
                                                                                                                                   


                                                              
                                                                                                                                        

                                                                                                                                                                                                                                            
                                                                                                                                          

                                                                                                                                               
                                                                                                                                          
                                                                                                                                                                                                                                                                                                                                                



                                                                                                                                          
                                                                                                         


                                                                                                  
                                                                                                                                                                

                                                                                            
                                                                                                                                               
                                        
                                                                                                                                                                                                                                       



                                            
                                                                                                                                 





                                                                                                                                        
                                                                                                                                           















                                                                                                                                        
                                                                                                                                   






                                                                                                                                        
                                                                                                                                           












                                                                                                                                        
                                                                        
                                                                                                  
                                                                                                
                                                                                                              


                                              

                                                                                                                                                                                                                                       



                  
                                                                                                                                   






                                                                                                                                                                                                                                            
                                                                                                                                             


   
                                                                              
                                                                                                  

                                                                                                
                                                                                                              
                                            

                                              

                                                                                                                                                                                                                                       



                  
                                                                                                                                   



                                                                                                                                          
                                                                                                                                                                                                                                              

                                                                                                                                             
                                                                                                                                            




                                                                                                                                                                                                                                              
                                                                                
                                                                                                  
                                                                                                
                                                                                                              
                                          
                                           

                                                                    
                                

                                                                                                                                                                                                                                       



                  
                                                                                                                                   

                         

                                                                                                                                          
                                                                                                                                                                                                                                            
                                                                                                                                          

                                                                                                                                             

                                                                                                                                            
                                                                                                                                          
                                                                                                                                                                                                                                              



                                                                                                                                          
                                                                                    
                                                                                                  
                                                                                                
                                                                                                              
                                          
                                           
                                                     

                                                                    
                                

                                                                                                                                                                                                                                       



                  
                                                                                                                                   




                                                                                                                                                                                                                                            
                                                                                                                                          
                                                                                                                                             

                                                                                                                                             
                                                                                                                                          
                                                                                                                                            
                                                                                                                                          




                                                                                                                                                                                                                                              
                                                                     
                                                                                                  

                                                                                                
                                                                                                              
                                          
                                           

                                                            

                                                                                                                                                                                                                                       


                  
                                                                                                                                 



                                                                                                                                                                                                                                            
                                                                                                                                          

                                                                                                                                             
                                                                                                                                          







                                                                                                                                                                                                                                              
                                                                                                                                   




                                                                                                                                                                                                                                            
                                                                                                                                          

                                                                                                                                             
                                                                                                                                          




                                                                                                                                                                                                                                              
                                                                           
                                                                                                  

                                                                                                
                                                                                                              
                                                                             

                                                                                                                                                                                                                                       




                                                            
                                                                                                                                   


                                                                              
                                                                                                                                        

                                                                                                                                                                                                                                                                                                                                                
                                                                                                                                          
                                                                                                                                          
                                                                                                                                          
                                                                                                                                            
                                                                                                                                          













                                                                                                                                                                                                                                            
                                                                                                                                        



                                                                                                                                        
                                                                                                                                        
                                                                                                                                        
                                                                                                                                        





                                                                                                                                                                                                                                                                                                                                                
                                                                                                                                          

                                                                                                                                          

                                                                                                                                            




                                                                                                                                                                                                                                            
                                                                                     
                                                                                                  

                                                                                                
                                                                                                              
                                                                             

                                                                                                                                                                                                                                       





                                                                           
                                                                                                                                   


                                                                                 
                                                                                                                                        

                                                                                                                                                                                                                                                                                                                                                
                                                                                                                                          
                                                                                                                                          
                                                                                                                                          
                                                                                                                                            
                                                                                                                                          





                                                                                                                                                                                                                                            
                                                                                                  

                                                                                                
                                                                                                                         




                                                                     

                                                                                                                                                                                                                                       




                                                
                                                                                                                                   

                         
                                                                                                                                        

                                                                                                                                                                                                                                            
                                                                                                                                          





                                                                                                                                                                                                                                                                                                                                                
 
                                                                          

                                                                                                  
                                                             
                                                                                                                         






                                                                         

                                                                                                                                                                                                                                       



                                    
                                                                                                                                 

                                                            

                                                                                                                                          
                                                                                                                                                                                                                                            
                                                                                                                                             


                                                                                                                                               

                                                                                                                                                                                                                                            





                                                                                
                                                                                                                                   


                                                           

                                                                                                                                          
                                                                                                                                                                                                                                            
                                                                                                                                             

                                                                                                                                             



                                                                                                                                                                                                                                                                                                                                                

   


       
                                     
<!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; }
.Special { color: #c00000; }
.muScenario { color: #00af00; }
.Delimiter { color: #800080; }
.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> programming-environment-data [
  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:address:programming-environment-data, screen:address:screen<span class="muRecipe"> -&gt; </span>errors-found?:boolean, env:address:programming-environment-data, screen:address:screen [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  recipes:address:editor-data<span class="Special"> &lt;- </span>get *env, <span class="Constant">recipes:offset</span>
  in:text<span class="Special"> &lt;- </span>editor-contents recipes
  save <span class="Constant">[recipes.mu]</span>, in
  recipe-errors:text<span class="Special"> &lt;- </span>reload in
  *env<span class="Special"> &lt;- </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"> &lt;- </span>copy <span class="Constant">1/true</span>
    <span class="muControl">return</span>
  <span class="Delimiter">}</span>
  errors-found?<span class="Special"> &lt;- </span>copy <span class="Constant">0/false</span>
]

<span class="muRecipe">before</span> <span class="Constant">&lt;render-components-end&gt;</span> [
  trace <span class="Constant">11</span>, <span class="Constant">[app]</span>, <span class="Constant">[render status]</span>
  recipe-errors:text<span class="Special"> &lt;- </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">&lt;render-recipe-components-end&gt;</span> [
  <span class="Delimiter">{</span>
    recipe-errors:text<span class="Special"> &lt;- </span>get *env, <span class="Constant">recipe-errors:offset</span>
    <span class="muControl">break-unless</span> recipe-errors
    row, screen<span class="Special"> &lt;- </span>render-text screen, recipe-errors, left, right, <span class="Constant">1/red</span>, row
  <span class="Delimiter">}</span>
]

<span class="muData">container</span> programming-environment-data [
  error-index:number  <span class="Comment"># index of first sandbox with an error (or -1 if none)</span>
]

<span class="muRecipe">after</span> <span class="Constant">&lt;programming-environment-initialization&gt;</span> [
  *result<span class="Special"> &lt;- </span>put *result, <span class="Constant">error-index:offset</span>, <span class="Constant">-1</span>
]

<span class="muRecipe">after</span> <span class="Constant">&lt;run-sandboxes-begin&gt;</span> [
  *env<span class="Special"> &lt;- </span>put *env, <span class="Constant">error-index:offset</span>, <span class="Constant">-1</span>
]

<span class="muRecipe">before</span> <span class="Constant">&lt;run-sandboxes-end&gt;</span> [
  <span class="Delimiter">{</span>
    error-index:number<span class="Special"> &lt;- </span>get *env, <span class="Constant">error-index:offset</span>
    sandboxes-completed-successfully?:boolean<span class="Special"> &lt;- </span>equal error-index, <span class="Constant">-1</span>
    <span class="muControl">break-if</span> sandboxes-completed-successfully?
    errors-found?<span class="Special"> &lt;- </span>copy <span class="Constant">1/true</span>
  <span class="Delimiter">}</span>
]

<span class="muRecipe">before</span> <span class="Constant">&lt;render-components-end&gt;</span> [
  <span class="Delimiter">{</span>
    <span class="muControl">break-if</span> recipe-errors
    error-index:number<span class="Special"> &lt;- </span>get *env, <span class="Constant">error-index:offset</span>
    sandboxes-completed-successfully?:boolean<span class="Special"> &lt;- </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"> &lt;- </span>to-text error-index
    status:text<span class="Special"> &lt;- </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-data [
  errors:text
]

<span class="muRecipe">def!</span> update-sandbox sandbox:address:sandbox-data, env:address:programming-environment-data, idx:number<span class="muRecipe"> -&gt; </span>sandbox:address:sandbox-data, env:address:programming-environment-data [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  data:text<span class="Special"> &lt;- </span>get *sandbox, <span class="Constant">data:offset</span>
  response:text, errors:text, fake-screen:address:screen, trace:text, completed?:boolean<span class="Special"> &lt;- </span>run-sandboxed data
  *sandbox<span class="Special"> &lt;- </span>put *sandbox, <span class="Constant">response:offset</span>, response
  *sandbox<span class="Special"> &lt;- </span>put *sandbox, <span class="Constant">errors:offset</span>, errors
  *sandbox<span class="Special"> &lt;- </span>put *sandbox, <span class="Constant">screen:offset</span>, fake-screen
  *sandbox<span class="Special"> &lt;- </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?:boolean
    errors<span class="Special"> &lt;- </span>new <span class="Constant">[took too long!</span>
<span class="Constant">]</span>
    *sandbox<span class="Special"> &lt;- </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:number<span class="Special"> &lt;- </span>get *env, <span class="Constant">error-index:offset</span>
    error-not-set?:boolean<span class="Special"> &lt;- </span>equal error-index, <span class="Constant">-1</span>
    <span class="muControl">break-unless</span> error-not-set?
    *env<span class="Special"> &lt;- </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">&lt;render-sandbox-trace-done&gt;</span> [
  <span class="Delimiter">{</span>
    sandbox-errors:text<span class="Special"> &lt;- </span>get *sandbox, <span class="Constant">errors:offset</span>
    <span class="muControl">break-unless</span> sandbox-errors
    *sandbox<span class="Special"> &lt;- </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"> &lt;- </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 [
  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="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant">  get 123:number, foo:offset</span>
<span class="Constant">]</span>]
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[foo]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  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:number, 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:number'                         ┊                                                 .</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:number'                                                                           .</span>
   <span class="Constant"> .                                                                                                    .</span>
  ]
]

<span class="muScenario">scenario</span> run-updates-status-with-first-erroneous-sandbox [
  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="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[]</span>
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    left-click <span class="Constant">3</span>, <span class="Constant">80</span>
    <span class="Comment"># create invalid sandbox 1</span>
    type <span class="Constant">[get foo, x:offset]</span>
    press F4
    <span class="Comment"># create invalid sandbox 0</span>
    type <span class="Constant">[get foo, x:offset]</span>
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  <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 [
  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="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[]</span>
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    left-click <span class="Constant">3</span>, <span class="Constant">80</span>
    <span class="Comment"># create invalid sandbox 2</span>
    type <span class="Constant">[get foo, x:offset]</span>
    press F4
    <span class="Comment"># create invalid sandbox 1</span>
    type <span class="Constant">[get foo, x:offset]</span>
    press F4
    <span class="Comment"># create valid sandbox 0</span>
    type <span class="Constant">[add 2, 2]</span>
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  <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 [
  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="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[]</span>
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[get foo, x:offset]</span>  <span class="Comment"># invalid</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    press F4  <span class="Comment"># generate error</span>
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  assume-console [
    left-click <span class="Constant">3</span>, <span class="Constant">58</span>
    press ctrl-k
    type <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:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  <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 [
  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>
  <span class="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[recipe foo x:_elem -&gt; z:_elem [</span>
<span class="Constant">local-scope</span>
<span class="Constant">load-ingredients</span>
<span class="Constant">y:address:number &lt;- copy 0</span>
<span class="Constant">z &lt;- add x, y</span>
<span class="Constant">]</span>]
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[foo 2]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    press F4
  ]
  event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  screen-should-contain [
   <span class="Constant"> .  errors found (0)                                                               run (F4)           .</span>
   <span class="Constant"> .recipe foo x:_elem -&gt; z:_elem [                   ┊                                                 .</span>
   <span class="Constant"> .local-scope                                       ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .load-ingredients                                  ┊0   edit          copy            delete         .</span>
   <span class="Constant"> .y:address:number &lt;- copy 0                        ┊foo 2                                            .</span>
   <span class="Constant"> .z &lt;- 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:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  <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 -&gt; z:_elem [                   ┊                                                 .</span>
   <span class="Constant"> .local-scope                                       ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .load-ingredients                                  ┊0   edit          copy            delete         .</span>
   <span class="Constant"> .y:address:number &lt;- copy 0                        ┊foo 2                                            .</span>
   <span class="Constant"> .z &lt;- 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 [
  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>
  <span class="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[recipe length l:address:list:_elem -&gt; n:number [</span>
<span class="Constant">]</span>]
  <span class="Comment"># call code that uses other variants of it, but not it itself</span>
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[x:address:list:number &lt;- copy 0</span>
<span class="Constant">to-text x]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  <span class="Comment"># run it once</span>
  assume-console [
    press F4
  ]
  event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  <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"> .                                                                         &lt;-                         .</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:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  <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"> .                                                                         &lt;-                         .</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 [
  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="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant">  x &lt;- copy 0</span>
<span class="Constant">]</span>]
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[foo]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  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 &lt;- copy 0                                     ┊                                                 .</span>
   <span class="Constant"> .]                                                 ┊                                                 .</span>
   <span class="Constant"> .foo: missing type for 'x' in 'x &lt;- copy 0'        ┊                                                 .</span>
  ]
]

<span class="muScenario">scenario</span> run-shows-unbalanced-bracket-errors [
  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>
  <span class="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo \\[</span>
<span class="Constant">  x &lt;- copy 0</span>
<span class="Constant">]</span>
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[foo]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  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 &lt;- 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 [
  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="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant">  local-scope</span>
<span class="Constant">  x:address:point &lt;- new point:type</span>
<span class="Constant">  get x:address:point, 1:offset</span>
<span class="Constant">]</span>]
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[foo]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  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:address:point &lt;- new point:type               ┊                                                 .</span>
   <span class="Constant"> .  get x:address: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:address:point'                    ┊                                                 .</span>
   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊                                                 .</span>
   <span class="Constant"> .                                                  ┊                                                 .</span>
  ]
]

<span class="muScenario">scenario</span> run-shows-non-literal-get-argument-errors [
  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="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant">  local-scope</span>
<span class="Constant">  x:number &lt;- copy 0</span>
<span class="Constant">  y:address:point &lt;- new point:type</span>
<span class="Constant">  get *y:address:point, x:number</span>
<span class="Constant">]</span>]
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[foo]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  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:number &lt;- copy 0                              ┊                                                 .</span>
   <span class="Constant"> .  y:address:point &lt;- new point:type               ┊                                                 .</span>
   <span class="Constant"> .  get *y:address:point, x:number                  ┊                                                 .</span>
   <span class="Constant"> .]                                                 ┊                                                 .</span>
   <span class="Constant"> .foo: second ingredient of 'get' should have type ↩┊                                                 .</span>
   <span class="Constant"> .'offset', but got 'x:number'                      ┊                                                 .</span>
   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊                                                 .</span>
   <span class="Constant"> .                                                  ┊                                                 .</span>
  ]
]

<span class="muScenario">scenario</span> run-shows-errors-everytime [
  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>
  <span class="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant">  local-scope</span>
<span class="Constant">  x:number &lt;- copy y:number</span>
<span class="Constant">]</span>]
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[foo]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  assume-console [
    press F4
  ]
  event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  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:number &lt;- copy y:number                       ┊                                                 .</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:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  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:number &lt;- copy y:number                       ┊                                                 .</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 [
  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"># left editor is empty</span>
  <span class="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[]</span>
  <span class="Comment"># right editor contains an illegal instruction</span>
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[get 1234:number, foo:offset]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  <span class="Comment"># run the code in the editors</span>
  assume-console [
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  <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:number, 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:number'                           .</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:number, 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:number'                           .</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 [
  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"># left editor is empty</span>
  <span class="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[]</span>
  <span class="Comment"># right editor contains an illegal instruction</span>
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[get 1234:number, foo:offset]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  <span class="Comment"># run the code in the editors multiple times</span>
  assume-console [
    press F4
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  <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:number, 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:number'                           .</span>
   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .                                                  ┊                                                 .</span>
  ]
]

<span class="muScenario">scenario</span> sandbox-can-handle-infinite-loop [
  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>
  <span class="Constant">1</span>:text<span class="Special"> &lt;- </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>
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[foo]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  <span class="Comment"># run the sandbox</span>
  assume-console [
    press F4
  ]
  run [
    event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  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 [
  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>
  <span class="Constant">1</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[recipe foo [</span>
<span class="Constant">local-scope</span>
<span class="Constant">a:number &lt;- next-ingredient</span>
<span class="Constant">b:number &lt;- next-ingredient</span>
<span class="Constant">stash [dividing by]</span>, b
_, c:number<span class="Special"> &lt;- </span>divide-with-remainder a, b
<span class="muControl">reply</span> b
]]
  <span class="Constant">2</span>:text<span class="Special"> &lt;- </span>new <span class="Constant">[foo 4, 0]</span>
  <span class="Constant">3</span>:address:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:screen, <span class="Constant">1</span>:text, <span class="Constant">2</span>:text
  <span class="Comment"># run</span>
  assume-console [
    press F4
  ]
  event-loop screen:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  <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:number &lt;- next-ingredient                       ┊0   edit          copy            delete         .</span>
   <span class="Constant"> .b:number &lt;- next-ingredient                       ┊foo 4, 0                                         .</span>
   <span class="Constant"> .stash [dividing by], b                            ┊foo: divide by zero in '_, c:number &lt;- divide-wi↩.</span>
   <span class="Constant"> ._, c:number &lt;- divide-with-remainder a, b         ┊th-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:address:screen, console:address:console, <span class="Constant">3</span>:address:programming-environment-data
  ]
  <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:number &lt;- next-ingredient                       ┊0   edit          copy            delete         .</span>
   <span class="Constant"> .b:number &lt;- next-ingredient                       ┊foo 4, 0                                         .</span>
   <span class="Constant"> .stash [dividing by], b                            ┊dividing by 0                                    .</span>
   <span class="Constant"> ._, c:number &lt;- divide-with-remainder a, b         ┊14 instructions run                              .</span>
   <span class="Constant"> .reply b                                           ┊foo: divide by zero in '_, c:number &lt;- divide-wi↩.</span>
   <span class="Constant"> .]                                                 ┊th-remainder a, b'                               .</span>
<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
  ]
]
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->