test47.tig

Tiger语言的一种编译器,在大学CS课程必做的,不过可惜的是没有完全完成,做好了词法语法分析,以及IR树的生成.

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