// Push an error to the cores' error handler
public void push_err(CoreErrorType err_type, string msg = null)
{
CoreError err = new CoreError(this.state, this.traceback, err_type, msg);
// Register the error with the handler
this.state.err_handler.register_err(err);
this.state.had_err = true;
throw new CoreErrException(err);
}
public CoreErrException(CoreError err)
{
this.err = err;
}
