From a9813c1fd501edb5a98acbee6e309e6ccdbac779 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 27 Jul 2017 13:04:04 +0200
Subject: Add test file for #10 (lazy logical operators)

---
 examples/issue-10.sil | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 examples/issue-10.sil

(limited to 'examples')

diff --git a/examples/issue-10.sil b/examples/issue-10.sil
new file mode 100644
index 0000000..dc95a58
--- /dev/null
+++ b/examples/issue-10.sil
@@ -0,0 +1,33 @@
+Void print(Int n) {
+	|~	create
+	|~	fillI_b 0 0
+	|~.d 1 0
+	|~	jsr _print_graph
+	|~.o 0 0
+}
+
+Void printB(Bool b) {
+	|~	create
+	|~	fillB_b 0 0
+	|~.d 1 0
+	|~	jsr _print_graph
+	|~.o 0 0
+}
+
+Bool false() {
+	print(0);
+	return False;
+}
+
+Bool true() {
+	print(1);
+	return True;
+}
+
+Bool main() {
+	printB(true() && false());
+	printB(false() && true());
+	printB(false() || false());
+	printB(true() || false());
+	return True;
+}
-- 
cgit v1.2.3