From 98f77e4a9aaff56e4a24919932076a4cee2a5598 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Tue, 9 Mar 2021 19:46:01 +0100
Subject: move some tests

---
 progs/tests/expression/boolean_order.sy | 42 +++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 progs/tests/expression/boolean_order.sy

(limited to 'progs/tests/expression/boolean_order.sy')

diff --git a/progs/tests/expression/boolean_order.sy b/progs/tests/expression/boolean_order.sy
new file mode 100644
index 0000000..567c068
--- /dev/null
+++ b/progs/tests/expression/boolean_order.sy
@@ -0,0 +1,42 @@
+start :: fn {
+    ts := 0
+    t :: fn -> bool {
+        ts += 1
+        ret true
+    }
+
+    fs := 0
+    f :: fn -> bool {
+        fs += 1
+        ret false
+    }
+
+    i :: fn -> bool {
+        <!>
+        ret false
+    }
+
+    if t() || i() && i() {
+        // This block is intentionally left blank
+    } else {
+        <!>
+    }
+
+    if f() && i() || t() {
+        // This block is intentionally left blank
+    } else {
+        <!>
+    }
+
+    fs <=> 1
+    fs = 0
+    ts <=> 2
+    ts = 0
+
+    f() && i() || f() <=> t() && f() || f()
+    f() && i() || f() <=> (t() && f()) || f()
+    t() && t() && f() || t() <=> t() || i() && i() && i()
+
+    fs <=> 9
+    ts <=> 6
+}
-- 
cgit v1.2.1