Adds test for explicitly instantiated generic type.

1 files changed, 17 insertions, 0 deletions

diff --git a/test/genericret.myr b/test/genericret.myr
new file mode 100644
index 0000000..5c292a7
--- /dev/null
+++ b/test/genericret.myr
@@ -0,0 +1,17 @@
+use std
+
+type t(@a) = union
+	`Val @a
+	`None
+;;
+
+const f = {-> t(int)
+	-> `None
+}
+
+const main = {
+	match f()
+	`None:	-> 42;;
+	;;
+	-> 0
+}