diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/01-simple.sml | 1 | ||||
| -rw-r--r-- | tests/02-lambda.sml | 1 | ||||
| -rw-r--r-- | tests/03-arg.sml | 1 | ||||
| -rw-r--r-- | tests/04-val.sml | 2 | ||||
| -rw-r--r-- | tests/lambda | 1 | ||||
| -rw-r--r-- | tests/simple | 1 |
6 files changed, 5 insertions, 2 deletions
diff --git a/tests/01-simple.sml b/tests/01-simple.sml new file mode 100644 index 0000000..3e87f14 --- /dev/null +++ b/tests/01-simple.sml @@ -0,0 +1 @@ +val _ = __builtin "exit" 42 diff --git a/tests/02-lambda.sml b/tests/02-lambda.sml new file mode 100644 index 0000000..41470a2 --- /dev/null +++ b/tests/02-lambda.sml @@ -0,0 +1 @@ +val _ = (fn _ => __builtin "exit" 42) () diff --git a/tests/03-arg.sml b/tests/03-arg.sml new file mode 100644 index 0000000..8d10139 --- /dev/null +++ b/tests/03-arg.sml @@ -0,0 +1 @@ +val _ = (fn x => __builtin "exit" x) 42 diff --git a/tests/04-val.sml b/tests/04-val.sml new file mode 100644 index 0000000..20d07b4 --- /dev/null +++ b/tests/04-val.sml @@ -0,0 +1,2 @@ +val x = 42 +val _ = __builtin "exit" x diff --git a/tests/lambda b/tests/lambda deleted file mode 100644 index 45a6137..0000000 --- a/tests/lambda +++ /dev/null @@ -1 +0,0 @@ -val _ = (fn _ => __builtin "exit" 5) () diff --git a/tests/simple b/tests/simple deleted file mode 100644 index d757a7f..0000000 --- a/tests/simple +++ /dev/null @@ -1 +0,0 @@ -val _ = __builtin "exit" 5 |