I've been working on the report. Type checking and scoping are done for now. Evaluation will be approached tomorrow. I think I'm going to follow the structured operational semantics as described in "The Semantics Of Programming Languages" by Mathew Hennessy. Lots of reading to do!
I also took some broken modules out of the build tree, so it should build again. I didn't really care before, because the automated tests still compiled and passed :)
No comments:
Post a Comment