Add listsHEADmain

29 files changed, 29 insertions, 1 deletions

diff --git a/tests/01-simple.sml b/tests/010-simple.sml
index e41f9b4..e41f9b4 100644
--- a/tests/01-simple.sml
+++ b/tests/010-simple.sml
diff --git a/tests/02-lambda.sml b/tests/020-lambda.sml
index 41470a2..41470a2 100644
--- a/tests/02-lambda.sml
+++ b/tests/020-lambda.sml
diff --git a/tests/03-arg.sml b/tests/030-arg.sml
index 8d10139..8d10139 100644
--- a/tests/03-arg.sml
+++ b/tests/030-arg.sml
diff --git a/tests/04-val.sml b/tests/040-val.sml
index 20d07b4..20d07b4 100644
--- a/tests/04-val.sml
+++ b/tests/040-val.sml
diff --git a/tests/05-let.sml b/tests/050-let.sml
index d1c27f5..d1c27f5 100644
--- a/tests/05-let.sml
+++ b/tests/050-let.sml
diff --git a/tests/06-let-multiple.sml b/tests/060-let-multiple.sml
index 47441ac..47441ac 100644
--- a/tests/06-let-multiple.sml
+++ b/tests/060-let-multiple.sml
diff --git a/tests/07-add.sml b/tests/070-add.sml
index 9892b23..9892b23 100644
--- a/tests/07-add.sml
+++ b/tests/070-add.sml
diff --git a/tests/08-multiply.sml b/tests/080-multiply.sml
index d75c316..d75c316 100644
--- a/tests/08-multiply.sml
+++ b/tests/080-multiply.sml
diff --git a/tests/09-subtract.sml b/tests/090-subtract.sml
index 2374816..2374816 100644
--- a/tests/09-subtract.sml
+++ b/tests/090-subtract.sml
diff --git a/tests/10-divide.sml b/tests/100-divide.sml
index a701180..a701180 100644
--- a/tests/10-divide.sml
+++ b/tests/100-divide.sml
diff --git a/tests/11-case.sml b/tests/110-case.sml
index 297ae5b..297ae5b 100644
--- a/tests/11-case.sml
+++ b/tests/110-case.sml
diff --git a/tests/12-case-int.sml b/tests/120-case-int.sml
index 98967e4..98967e4 100644
--- a/tests/12-case-int.sml
+++ b/tests/120-case-int.sml
diff --git a/tests/13-fibonacci.sml b/tests/130-fibonacci.sml
index ec89f70..ec89f70 100644
--- a/tests/13-fibonacci.sml
+++ b/tests/130-fibonacci.sml
diff --git a/tests/14-fun.sml b/tests/140-fun.sml
index 210b30d..210b30d 100644
--- a/tests/14-fun.sml
+++ b/tests/140-fun.sml
diff --git a/tests/15-tuple.sml b/tests/150-tuple.sml
index 114fd25..114fd25 100644
--- a/tests/15-tuple.sml
+++ b/tests/150-tuple.sml
diff --git a/tests/155-case-tuple.sml b/tests/155-case-tuple.sml
new file mode 100644
index 0000000..774fb34
--- /dev/null
+++ b/tests/155-case-tuple.sml
@@ -0,0 +1,4 @@
+val _ = __builtin "exit"
+  (case (1, 2, 42) of
+    (_, 2, x) => x
+  | _ => 13)
diff --git a/tests/16-datatype.sml b/tests/160-datatype.sml
index 7514606..7514606 100644
--- a/tests/16-datatype.sml
+++ b/tests/160-datatype.sml
diff --git a/tests/17-case-datatype.sml b/tests/170-case-datatype.sml
index 974f263..974f263 100644
--- a/tests/17-case-datatype.sml
+++ b/tests/170-case-datatype.sml
diff --git a/tests/175-case-datatype-default.sml b/tests/175-case-datatype-default.sml
new file mode 100644
index 0000000..221bc13
--- /dev/null
+++ b/tests/175-case-datatype-default.sml
@@ -0,0 +1,6 @@
+datatype D = A of int * int | B
+
+val _ = __builtin "exit"
+  (case A (42, 13) of
+    A (x, 13) => x
+  | _ => 10)
diff --git a/tests/18-fun-case.sml b/tests/180-fun-case.sml
index d64b7d7..d64b7d7 100644
--- a/tests/18-fun-case.sml
+++ b/tests/180-fun-case.sml
diff --git a/tests/19-list.sml b/tests/190-list.sml
index 52404dc..de69c4a 100644
--- a/tests/19-list.sml
+++ b/tests/190-list.sml
@@ -1,5 +1,4 @@
 infix 6 +
-infixr 5 ::
 
 datatype 'a list = Nil | :: of 'a * 'a list
 
diff --git a/tests/20-structure.sml b/tests/200-structure.sml
index dfc7b9b..dfc7b9b 100644
--- a/tests/20-structure.sml
+++ b/tests/200-structure.sml
diff --git a/tests/21-struct-datatype.sml b/tests/210-struct-datatype.sml
index ab714ea..ab714ea 100644
--- a/tests/21-struct-datatype.sml
+++ b/tests/210-struct-datatype.sml
diff --git a/tests/22-nested-struct.sml b/tests/220-nested-struct.sml
index 1eaf6ab..1eaf6ab 100644
--- a/tests/22-nested-struct.sml
+++ b/tests/220-nested-struct.sml
diff --git a/tests/225-two-structs.sml b/tests/225-two-structs.sml
new file mode 100644
index 0000000..465840f
--- /dev/null
+++ b/tests/225-two-structs.sml
@@ -0,0 +1,9 @@
+structure A = struct
+  val fourtyTwo = 42
+end
+val B = 10
+structure X = struct
+  val Y = A.fourtyTwo
+end
+
+val _ = __builtin "exit" X.Y
diff --git a/tests/23-signature.sml b/tests/230-signature.sml
index 01a8494..01a8494 100644
--- a/tests/23-signature.sml
+++ b/tests/230-signature.sml
diff --git a/tests/24-functor.sml b/tests/240-functor.sml
index d18337e..d18337e 100644
--- a/tests/24-functor.sml
+++ b/tests/240-functor.sml
diff --git a/tests/250-list.sml b/tests/250-list.sml
new file mode 100644
index 0000000..4aeecf2
--- /dev/null
+++ b/tests/250-list.sml
@@ -0,0 +1,6 @@
+val _ = __builtin "exit"
+  (case [1, 2, 42] of
+    [] => 10
+  | [x] => x
+  | [_, _, x] => x
+  | _ => 13)
diff --git a/tests/260-cons.sml b/tests/260-cons.sml
new file mode 100644
index 0000000..f01cefe
--- /dev/null
+++ b/tests/260-cons.sml
@@ -0,0 +1,4 @@
+val _ = __builtin "exit"
+  (case 42 :: [] of
+    x :: _ => x
+  | _ => 13)