diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/issue-10.sil | 33 |
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; +} |