aboutsummaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorBruce Hill <bitbucket@bruce-hill.com>2018-05-15 16:36:21 -0700
committerBruce Hill <bitbucket@bruce-hill.com>2018-05-15 16:36:38 -0700
commit01aa199f7acfe9af57c5970793259b36e060fd11 (patch)
tree0af9fd009d820053f83dd60eed862886bfb3eb5c /tests
parent28cd9ae0b7a09d8f2cd0cd929f1ebdce4b081502 (diff)
Adding support for coroutines, and cleaning up comment syntax.
Diffstat (limited to 'tests')
-rw-r--r--tests/control_flow.nom12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/control_flow.nom b/tests/control_flow.nom
index 4fed7b4..899da22 100644
--- a/tests/control_flow.nom
+++ b/tests/control_flow.nom
@@ -200,3 +200,15 @@ assume
for all [1,2,3]: %n +<- %
return %n
..= 6
+
+%nums <- []
+for all
+ values
+ -> 4
+ -> 5
+ -> 6
+..
+ add % to %nums
+
+assume (%nums = [4,5,6]) or barf "Coroutine iteration failed"
+