test16.tig

来自「本设计Tiger语言为源语言」· TIG 代码 · 共 12 行

/* error: mutually recursive types thet do not pass through record or array */
let 

type a=c
type b=a
type c=d
type d=a

in
 ""
end