test17.tig

来自「本设计Tiger语言为源语言」· 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
	d
end