diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/control_flow.nom | 12 |
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" + |