[tiger.ml.git] / compiler / testcases / test17.tig

/* 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
Commit	Line	Data
38ffcb1f SK	1	/* error: definition of recursive types is interrupted */
	2	let
	3	/* define a tree */
	4	type tree ={key: int, children: treelist}
	5	var d:int :=0
	6	type treelist = {hd: tree, tl: treelist}
	7
	8	in
	9	d
	10	end