Add test file for #10 (lazy logical operators)

1 files changed, 33 insertions, 0 deletions

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;
+}