diff options
Diffstat (limited to 'src/resp.hpp')
| -rw-r--r-- | src/resp.hpp | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/resp.hpp b/src/resp.hpp index 8d37cd3..8cdb75e 100644 --- a/src/resp.hpp +++ b/src/resp.hpp @@ -839,9 +839,13 @@ void initLang(PEnv& penv, TEnv& tenv); int eval(CEnv& cenv, Cursor& cursor, istream& is, bool execute); int repl(CEnv& cenv); -void resp_constrain(TEnv& tenv, Constraints& c, const AST* ast) throw(Error); -const AST* resp_simplify(CEnv& cenv, const AST* ast) throw(); const AST* resp_cps(CEnv& cenv, const AST* ast, const AST* k) throw(); + +void resp_constrain(TEnv& tenv, Constraints& c, const AST* ast) throw(Error); + +typedef const AST* (RespPass)(CEnv& cenv, Code& code, const AST* ast); + +const AST* resp_simplify(CEnv& cenv, Code& code, const AST* ast) throw(); const AST* resp_lift(CEnv& cenv, Code& code, const AST* ast) throw(); const AST* resp_flatten(CEnv& cenv, Code& code, const AST* ast) throw(); const AST* resp_depoly(CEnv& cenv, Code& code, const AST* ast) throw(); |