Typechecker.hs: Simple modification of the bnfc-generated Testsyntax which calls the type-checking functions.
Typecheck.hs: Contains the type-checking functions typeCheckExp, typeCheckVar and typeCheckStm and some utility functions, responsible for the entire type-checking process.
Typechecker.hs: Simple modification of the bnfc-generated Testsyntax which calls the type-checking functions.
Typecheck.hs: Contains the type-checking functions typeCheckExp, typeCheckVar and typeCheckStm and some utility functions, responsible for the entire type-checking process.