At the moment, variables do not index their relevant variable declaration but they should. This requires modifying the parser and the AST. This would mean we don't need an Env any more which further reduces work done by TypeChecker, though of course it does mean using one in the parser!
At the moment, variables do not index their relevant variable declaration but they should. This requires modifying the parser and the AST. This would mean we don't need an
Envany more which further reduces work done byTypeChecker, though of course it does mean using one in the parser!