aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/reductions.tm17
1 files changed, 13 insertions, 4 deletions
diff --git a/test/reductions.tm b/test/reductions.tm
index 7bfe212a..a844081f 100644
--- a/test/reductions.tm
+++ b/test/reductions.tm
@@ -27,8 +27,17 @@ func main():
= Foo(x=0, y=-999)
!! (or) and (and) have early out behavior:
- >> (or: i == 3 for i in 9999999999999999999999999999)!
- = yes
+ >> (or: i == 3 for i in 9999999999999999999999999999)!
+ = yes
- >> (and: i < 10 for i in 9999999999999999999999999999)!
- = no
+ >> (and: i < 10 for i in 9999999999999999999999999999)!
+ = no
+
+ >> (<=: [1, 2, 2, 3, 4])!
+ = yes
+
+ >> (<=: [:Int])
+ = !Bool
+
+ >> (<=: [5, 4, 3, 2, 1])!
+ = no