aboutsummaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
Diffstat (limited to 'examples')
-rw-r--r--examples/lists.sil11
-rw-r--r--examples/tuples.sil (renamed from examples/issue-1.sil)0
2 files changed, 11 insertions, 0 deletions
diff --git a/examples/lists.sil b/examples/lists.sil
new file mode 100644
index 0000000..7242649
--- /dev/null
+++ b/examples/lists.sil
@@ -0,0 +1,11 @@
+[Int] append([Int] xs, [Int] ys) {
+ if (xs.nil) {
+ return ys;
+ } else {
+ return xs.hd : append(xs.tl, ys);
+ }
+}
+
+[Int] main() {
+ return append([1,2,3], [4,5,6]);
+}
diff --git a/examples/issue-1.sil b/examples/tuples.sil
index 28c6958..28c6958 100644
--- a/examples/issue-1.sil
+++ b/examples/tuples.sil