ref: 6565eb50cfcc4e11ed5e350cdae30dc861dc0a8e
dir: /test/genericrec.myr/
use std
/* 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)
v.val = 123
v.next = std.alloc()
v.next.val = 234
var n = std.alloc()
v.next.next = n
n.val = 345
}