test17.tig

tiger编译器的Java实现

/* 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