Home

PA4

TODO

TODO : Add Type fields into each AST node for decorating type checking.

TODO: Add JavaDoc's whenever you touch a file.

TODO: Everyone makes 5 test cases.

TODO: Conditional grammar/CFG.

If function body has no return statement when it's expected, identifier of function is said to be wrong.

Design Decisions

Error handling errors

• (Lexical,Syntax,SemanticError) are caught inside lex(), parse(), typecheck() methods.
• main is responsible upto opening the input file. The rest is taken care of by lex,parse,typecheck.

Questions

• Does Name or Mem go into destination argument for Move?

MIRVisitor methods

• Jona - Array stuff (3), AssignmentStmt
• Jeff - VarInit, VarDecl, TupleInit, Control
• Hum - Functions (3/4), ReturnStmt
• Juh - BinaryExpr, UnaryExpr, Literal