test38.tig

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

/* This is illegal, since there are two types with the same name
    in the same (consecutive) batch of mutually recursive types. 
    See also test47  */
let
	type a = int
	type a = string
in
	0
end