Assignment 9

In this assignment, you will implement the semantic analysis for the Lacs language.

In Typer.scala, complete the implementations of:

1. parseType
2. parseVarDefs
3. the vals and defs in ProcedureScope
4. typeOf

You can find the specification of the Lacs language here.