test17.tig

来自「tiger编译器的Java实现」· TIG 代码 · 共 11 行

/* error: definition of recursive types is interrupted */
let
/* define a tree */
type tree ={key: int, children: treelist }
 var d:int :=0  
type treelist = {hd: tree, tl: treelist}
 
in
6
end