示例#1
0
文件: lua.cpp 项目: codyroux/lean
void check_result(lua_State * L, int result) {
    if (result) {
        if (is_exception(L, -1)) {
            to_exception(L, -1).rethrow();
        } else {
            throw script_exception(lua_tostring(L, -1));
        }
    }
}
示例#2
0
void exception_node::execute( proof_context& ctx )
{
  throw script_exception( t );
}