ref: 3e92cda1745121a0545c581d9f135feed9e280bd
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 }