test16.tig

来自「tiger编译器的Java实现」· 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