commit my change before pull
merge
commit my change
Merge branch 'master' of https://github.com/lalalah/compilers-PS5
fixed function typechecking
passed one lva test perfectly