diff options
Diffstat (limited to 'src/resp.hpp')
| -rw-r--r-- | src/resp.hpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/resp.hpp b/src/resp.hpp index d6a46ab..8d37cd3 100644 --- a/src/resp.hpp +++ b/src/resp.hpp @@ -640,7 +640,17 @@ struct TEnv : public Env<const AST*> { typedef map<const AST*, const AST*> Vars; + /// Discriminated Union Constructor + struct Constructor { + Constructor(const AST* x, const AST* t) : expr(x), type(t) {} + const AST* expr; + const AST* type; + }; + + typedef map<const std::string, Constructor> Tags; + Vars vars; + Tags tags; PEnv& penv; unsigned varID; @@ -834,6 +844,7 @@ 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(); const AST* resp_flatten(CEnv& cenv, Code& code, const AST* ast) throw(); +const AST* resp_depoly(CEnv& cenv, Code& code, const AST* ast) throw(); CVal resp_compile(CEnv& cenv, const AST* ast) throw(); bool is_form(const AST* ast, const std::string& form); |