test50.tig

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

/* error: cyclic type definitions.  */
let 
	type a = b
	type b = c
	type c = d
	type d = a
in
	2
end