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