Compilers/lab4 at master · hzqmwne/Compilers · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
refs-4		refs-4
testcases		testcases
README.md		README.md
absyn.c		absyn.c
absyn.h		absyn.h
env.c		env.c
env.h		env.h
errormsg.c		errormsg.c
errormsg.h		errormsg.h
gradeMe.sh		gradeMe.sh
helper.h		helper.h
lab4.md		lab4.md
makefile		makefile
note.txt		note.txt
parse.c		parse.c
parse.h		parse.h
prabsyn.c		prabsyn.c
prabsyn.h		prabsyn.h
semant.c		semant.c
semant.h		semant.h
symbol.c		symbol.c
symbol.h		symbol.h
table.c		table.c
table.h		table.h
tags		tags
tiger.lex		tiger.lex
tiger.y		tiger.y
types.c		types.c
types.h		types.h
util.c		util.c
util.h		util.h

README.md

Lab4 Type Checking

具体要求参见lab4.md

遍历生成的抽象语法树，完成语义分析过程中的类型检查部分。如果有错误，输出相关的信息
将lab3中tiger.lex、tiger.y复制到lab4