ref: d2c04d001ea14c3090fa1853ef10d435e0e56624
parent: 2d53d9399dde7bec1595a4e4e1dbcac296784ce7
parent: b4c40054b5b378a7b1ab7b8090c586d0a86898c1
author: Ori Bernstein <[email protected]>
date: Wed Jan 16 20:38:53 EST 2013
Merge branch 'master' of git+ssh://mimir.eigenstate.org/git/ori/mc
--- /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
+}
--- a/test/tests
+++ b/test/tests
@@ -74,7 +74,6 @@
B tuple E 42
B slgrow E 42
B tyrec E 42
-B slgrow E 42
B helloworld P Hello-世界
B catfile P Hello-世界
B encodechar P 1世界äa