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

/* This is legal.  The second type "a" simply hides the first one.
   Because of the intervening variable declaration, the two "a" types
   are not in the same  batch of mutually recursive types.
   See also test38 */
let
	type a = int
	var b := 4
	type a = string
in
	0
end
Commit	Line	Data
38ffcb1f SK	1	/* This is legal. The second type "a" simply hides the first one.
	2	Because of the intervening variable declaration, the two "a" types
	3	are not in the same batch of mutually recursive types.
	4	See also test38 */
	5	let
	6	type a = int
	7	var b := 4
	8	type a = string
	9	in
	10	0
	11	end