an implementation of the compiler for the COOL language which can do type checking, syntax,grammar checking