Unify Error Handling
d-xo opened this issue · comments
The parser & typechecker currently make use of the Err monad from ErrM. The analysis backends currently have no consistent error handling approach and mostly just call error if something unexpected happens.
We should generalise the Err monad so that it can be used by the various backends and rework them so that functions that can fail return an Err.