test47.tig

来自「编译原理大作业---tiger编译器 包括semant,translate,m」· TIG 代码 · 共 12 行

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