shithub: mc

Info  •  Files  •  Log  •  Branches

Add missing file.

--- /dev/null

+++ b/test/genericrec.myr

@@ -1,0 +1,11 @@

+/* test that generic types can be recursive, as long as they're not self

+ * including. This just needs to compile and exit with 0. */

+type list(@t) = struct

+	val	: @t

+	next	: list(@t)*

+;;

+

+const main = {

+	var v : list(int)

+	-> 0

+}