Allow instantiation of type or order type variables without kind declaration

1 files changed, 15 insertions, 0 deletions

diff --git a/test/typecheck/pass/anontyvar.sail b/test/typecheck/pass/anontyvar.sail
new file mode 100644
index 00000000..99c25e6c
--- /dev/null
+++ b/test/typecheck/pass/anontyvar.sail
@@ -0,0 +1,15 @@
+$include <smt.sail>
+$include <flow.sail>
+
+/* We shouldn't have to annotate 'a with Type */
+val id : forall 'a. 'a -> 'a
+function id(x) = {
+  x
+}
+
+val test : unit -> unit
+
+function test() = {
+  let x = id(5);
+  ()
+}