Lab4 Type Checking 具体要求参见lab4.md 遍历生成的抽象语法树,完成语义分析过程中的类型检查部分。如果有错误,输出相关的信息 将lab3中tiger.lex、tiger.y复制到lab4