diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-10-05 18:40:51 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-10-05 18:40:51 -0700 |
commit | d135851ef94bf15f258b779098404ef6adac92b6 (patch) | |
tree | 486b24923abc700b3ff2e41d6f9a1220c31e79d7 /081run_interactive.cc | |
parent | 745e8bdd7ad66ebfb0a282f820c93d3a544b2afe (diff) | |
download | mu-d135851ef94bf15f258b779098404ef6adac92b6.tar.gz |
2247 - type-check products of non-primitive recipes
We still can't check ingredient types, and even this is still a run-time check. We'll need to start tracking recipe signatures at some point. I've had to introduce a hack called /skiptypecheck. Time to get generics working.
Diffstat (limited to '081run_interactive.cc')
-rw-r--r-- | 081run_interactive.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc index 8548f568..224998ec 100644 --- a/081run_interactive.cc +++ b/081run_interactive.cc @@ -86,7 +86,7 @@ bool run_interactive(long long int address) { // call run(string) but without the scheduling load(string("recipe interactive [\n") + "local-scope\n" + - "screen:address <- next-ingredient\n" + + "screen:address:screen <- next-ingredient\n" + "$start-tracking-products\n" + command + "\n" + "$stop-tracking-products\n" + @@ -129,8 +129,8 @@ load(string( "]\n" + "recipe sandbox [\n" + "local-scope\n" + - "screen:address/shared <- new-fake-screen 30, 5\n" + - "r:number/routine_id <- start-running interactive:recipe, screen:address\n" + + "screen:address:screen/shared <- new-fake-screen 30, 5\n" + + "r:number/routine_id <- start-running interactive:recipe, screen\n" + "limit-time r, 100000/instructions\n" + "wait-for-routine r\n" + "sandbox-state:number <- routine-state r/routine_id\n" + |