[tiger.ml.git] / test16.tig

/* 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
Commit	Line	Data
	1	/* error: mutually recursive types thet do not pass through record or array */
	2	let
	3
	4	type a=c
	5	type b=a
	6	type c=d
	7	type d=a
	8
	9	in
	10	""
	11	end