about summary refs log tree commit diff stats
path: root/075scenario_console.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-10-28 13:08:26 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-10-28 13:19:41 -0700
commit1fa530589eee7b668d936e77c1c430f18907a481 (patch)
tree95a506363d74231d1e85b402549b0ca6a466391e /075scenario_console.cc
parent48086e1044a8c000eb7977621cde0813f7bb70cf (diff)
downloadmu-1fa530589eee7b668d936e77c1c430f18907a481.tar.gz
2299 - check types of ingredients in calls
Still very incomplete:

a) we perform the check at runtime

b) tests for edit and sandbox apps no longer work; we can't fix them
until we get type parameters in both containers and recipes (because
list and list operations need to become generic).
Diffstat (limited to '075scenario_console.cc')
-rw-r--r--075scenario_console.cc20
1 files changed, 10 insertions, 10 deletions
diff --git a/075scenario_console.cc b/075scenario_console.cc
index 11438bf4..f8e3e1a1 100644
--- a/075scenario_console.cc
+++ b/075scenario_console.cc
@@ -11,10 +11,10 @@ scenario keyboard-in-scenario [
     type [abc]
   ]
   run [
-    1:character, console:address, 2:boolean <- read-key console:address
-    3:character, console:address, 4:boolean <- read-key console:address
-    5:character, console:address, 6:boolean <- read-key console:address
-    7:character, console:address, 8:boolean, 9:boolean <- read-key console:address
+    1:character, console:address:console, 2:boolean <- read-key console:address:console
+    3:character, console:address:console, 4:boolean <- read-key console:address:console
+    5:character, console:address:console, 6:boolean <- read-key console:address:console
+    7:character, console:address:console, 8:boolean, 9:boolean <- read-key console:address:console
   ]
   memory-should-contain [
     1 <- 97  # 'a'
@@ -182,15 +182,15 @@ scenario events-in-scenario [
   ]
   run [
     # 3 keyboard events; each event occupies 4 locations
-    1:event <- read-event console:address
-    5:event <- read-event console:address
-    9:event <- read-event console:address
+    1:event <- read-event console:address:console
+    5:event <- read-event console:address:console
+    9:event <- read-event console:address:console
     # mouse click
-    13:event <- read-event console:address
+    13:event <- read-event console:address:console
     # non-character keycode
-    17:event <- read-event console:address
+    17:event <- read-event console:address:console
     # final keyboard event
-    21:event <- read-event console:address
+    21:event <- read-event console:address:console
   ]
   memory-should-contain [
     1 <- 0  # 'text'