Real implementation of algebraic data types, and parametric types.

git-svn-id: http://svn.drobilla.net/resp/trunk@434 ad02d1e2-f140-0410-9f75-f8b11f17cedd

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);