diff options
Diffstat (limited to 'src/resp.hpp')
| -rw-r--r-- | src/resp.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/resp.hpp b/src/resp.hpp index 7de26d8..41f1826 100644 --- a/src/resp.hpp +++ b/src/resp.hpp @@ -834,6 +834,7 @@ 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(); const AST* resp_lift(CEnv& cenv, Code& code, const AST* ast) throw(); CVal resp_compile(CEnv& cenv, const AST* ast) throw(); |