ref: ed3f53a7de0be0705fb0637e94e731808e7cd09c
parent: 440ff74a6d16e3edb5322976ae5c9446f315c754
author: Ori Bernstein <[email protected]>
date: Wed Jun 27 21:04:21 EDT 2012
Add a number of tests.
--- /dev/null
+++ b/test/occur.myr
@@ -1,0 +1,3 @@
+const f = {
+ -> f
+}
--- a/test/tests
+++ b/test/tests
@@ -43,3 +43,5 @@
F infermismatch
F flow
F occur
+F union-extraarg
+F union-missingarg
--- /dev/null
+++ b/test/union-extraarg.myr
@@ -1,0 +1,7 @@
+type u = union
+ `Foo
+;;
+
+const main = {
+ `Foo 123
+}
--- /dev/null
+++ b/test/union-missingarg.myr
@@ -1,0 +1,7 @@
+type u = union
+ `Foo int
+;;
+
+const main = {
+ `Foo
+}