| 30 | }; |
| 31 | |
| 32 | struct ReturnCode { |
| 33 | ReturnCode() : code(OK) {} |
| 34 | ReturnCode(Status c) : code(c) {} |
| 35 | ReturnCode(Status c, const std::string& m) : code(c), message(m) {} |
| 36 | |
| 37 | operator bool() const { return code == OK; } |
| 38 | |
| 39 | Status code; |
| 40 | std::string message; |
| 41 | std::list<const Expr*> trace; |
| 42 | }; |
| 43 | |
| 44 | inline ReturnCode error( |
| 45 | const Status code, |