ref: c4b6a1c57ece9e02c05f046f4dd472f6d8c6ec6b
dir: /test/genericrec.myr/
/* 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
}