Fix recursive types nested inside generics.

2 files changed, 15 insertions, 0 deletions

diff --git a/test/recgeneric.myr b/test/recgeneric.myr
new file mode 100644
index 0000000..28b9fab
--- /dev/null
+++ b/test/recgeneric.myr
@@ -0,0 +1,14 @@
+use std
+
+type o(@a::integral) = union
+	`S @a
+;;
+
+type x(@k) = struct
+	n  : o(x(@k)#)
+;;
+
+const main = {
+	var test : x(int)
+	std.put("built\n")
+}
diff --git a/test/tests b/test/tests
index 4f47773..f9da77c 100644
--- a/test/tests
+++ b/test/tests
@@ -94,6 +94,7 @@ B generictype	E	0
 B genericret	E	42
 B genericmatch	E	15
 B genericrec	E	0
+B recgeneric	P	'built'
 # B genericchain	P	'val = 123' ## BUGGERED
 B genericmake	P	'val = 123'
 B genericuret	E	42