aboutsummaryrefslogtreecommitdiff
path: root/examples/issue-7.sil
diff options
context:
space:
mode:
authorCamil Staps2017-07-21 09:18:41 +0000
committerCamil Staps2017-07-21 09:18:41 +0000
commitcdaabacea6c44ed2e8e3c77958ef4755eaa6ba91 (patch)
tree03c9709fd1f03fe1a6e999c8c2878f178b607d1c /examples/issue-7.sil
parentPrepend labels with __sil_ to prevent name clashes with C functions (diff)
Resolve #7: correctly return function result
Diffstat (limited to 'examples/issue-7.sil')
-rw-r--r--examples/issue-7.sil5
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/issue-7.sil b/examples/issue-7.sil
new file mode 100644
index 0000000..81fea42
--- /dev/null
+++ b/examples/issue-7.sil
@@ -0,0 +1,5 @@
+Bool main () {
+ Int x;
+ x := 10;
+ return True;
+}