Halogen Truong

Fix exceptions in Pancake

1

Exception implementation is currently incomplete, and requires the following: * Exception declaration - both concrete and abstract syntax * Scope checker extension (+ extension of shape checker) * (Optional) Improved...

* Currently, when a ProgNT not found for function bodies, variable declarations, handler bodies, conditional branches and loops, a `Skip` is inserted during parse tree conversion, which requires considering the...

Improved mechanism for compilation exit code

1

The current mechanism for determining the exit code at the end of compilation is based on the final compilation output, which is a pair of strings corresponding to the `stdout`...

Maintaining `panStaticExamples.sml` (the static checker being orthogonal to the compiler verification) is super tedious because of the different yet similar permutations of test cases, eg. 6 (soon to be 7)...