summaryrefslogtreecommitdiff
path: root/tests/examplefiles/test.flx
diff options
context:
space:
mode:
Diffstat (limited to 'tests/examplefiles/test.flx')
-rw-r--r--tests/examplefiles/test.flx57
1 files changed, 0 insertions, 57 deletions
diff --git a/tests/examplefiles/test.flx b/tests/examplefiles/test.flx
deleted file mode 100644
index 4c8a667b..00000000
--- a/tests/examplefiles/test.flx
+++ /dev/null
@@ -1,57 +0,0 @@
-type tiny = "%i8";
-type int = "%i32";
-typedef bool = 2;
-fun add : int*int -> int = "%add";
-fun sub : int*int -> int = "%sub";
-fun eq : int*int -> bool = "%eq";
-fun lnot : bool -> bool = "%lnot";
-proc exit : int = "exit";
-
-// comment 1
-/*
- /*
- foo bar
- */
-asdas
-*/
-
-noinline fun foo (x:int) = {
- val y = 6;
- return x + y;
-}
-
-noinline proc fake_exit (x:int) {
- exit x;
- return;
-}
-
-noinline fun bar (x:int) = {
- var y = 10;
- noinline proc baz () {
- y = 20;
- return;
- }
- baz ();
- return x + y;
-}
-
-noinline fun x (a:int, b:int, c:tiny) = {
- val x1 = a;
- val x2 = b;
- val x3 = c;
- noinline fun y (d:int, e:int, f:tiny) = {
- val y1 = x1;
- val y2 = x2;
- val y3 = f;
- noinline fun z (g:int, h:int, i:tiny) = {
- val z1 = x1;
- val z2 = x2;
- val z3 = i;
- return z1;
- }
- return z (y1,y2,y3);
- }
- return y (x1,x2,x3);
-}
-
-fake_exit $ (foo 2) + (bar 3) + (x (1,2,3t));