andysonnenburg / glyph Goto Github PK

Currently, logging is done using a special MonadLogger instance. This should probably be changed to a Writer. Error handling is handled with an incomplete MonadError instance - incomplete because IO is used for error handling. This should be changed to use ErrorT or some other more complete mechanism. The exceptions themselves may or may not contain associated location information. This should be generalized to whatever type is annotating the parse tree, and also properly ordered in the output - including handling unannotated messages as being considered at the last logged message's location.

This:

return f();
fn f() {}

will result in an unexpected compiler error.

At least AddFreeVars is affected by the new use of Data.Monoid.(<>), and possibly AddCallSet as well, and the change in associativity and precedence.