1 files changed, 1 insertions, 9 deletions

diff --git a/src/resp.hpp b/src/resp.hpp
index 632e1a2..d429168 100644
--- a/src/resp.hpp
+++ b/src/resp.hpp
@@ -549,23 +549,18 @@ struct ADef : public ACall {
 	ADef(const ATuple* exp) : ACall(exp) {}
 	ADef(Cursor c, AST* ast, va_list args) : ACall(c, ast, args) {}
 	ADef(AST* first, AST* rest, Cursor c) : ACall(first, rest, c) {}
-	const AST* body() const { return list_ref(2); }
-	AST*       body()       { return list_ref(2); }
-	void constrain(TEnv& tenv, Constraints& c) const throw(Error);
 };
 
 struct ADefType : public ACall {
 	ADefType(const ATuple* exp) : ACall(exp) {}
 	ADefType(Cursor c, AST* ast, va_list args) : ACall(c, ast, args) {}
 	ADefType(AST* first, AST* rest, Cursor c) : ACall(first, rest, c) {}
-	void constrain(TEnv& tenv, Constraints& c) const throw(Error);
 };
 
 struct AMatch : public ACall {
 	AMatch(const ATuple* exp) : ACall(exp) {}
 	AMatch(Cursor c, AST* ast, va_list args) : ACall(c, ast, args) {}
 	AMatch(AST* first, AST* rest, Cursor c) : ACall(first, rest, c) {}
-	void constrain(TEnv& tenv, Constraints& c) const throw(Error);
 };
 
 /// Conditional special form, e.g. "(if cond thenexp elseexp)"
@@ -573,21 +568,18 @@ struct AIf : public ACall {
 	AIf(const ATuple* exp) : ACall(exp) {}
 	AIf(Cursor c, AST* ast, va_list args) : ACall(c, ast, args) {}
 	AIf(AST* first, AST* rest, Cursor c) : ACall(first, rest, c) {}
-	void constrain(TEnv& tenv, Constraints& c) const throw(Error);
 };
 
 struct ACons : public ACall {
 	ACons(const ATuple* exp) : ACall(exp) {}
 	ACons(Cursor c, AST* ast, va_list args) : ACall(c, ast, args) {}
 	ACons(AST* first, AST* rest, Cursor c) : ACall(first, rest, c) {}
-	void constrain(TEnv& tenv, Constraints& c) const throw(Error);
 };
 
 struct ADot : public ACall {
 	ADot(const ATuple* exp) : ACall(exp) {}
 	ADot(Cursor c, AST* ast, va_list args) : ACall(c, ast, args) {}
 	ADot(AST* first, AST* rest, Cursor c) : ACall(first, rest, c) {}
-	void constrain(TEnv& tenv, Constraints& c) const throw(Error);
 };
 
 /// Primitive (builtin arithmetic function), e.g. "(+ 2 3)"
@@ -600,7 +592,7 @@ struct APrimitive : public ACall {
 struct AQuote : public ACall {
 	AQuote(const ATuple* exp) : ACall(exp) {}
 	AQuote(AST* first, AST* rest, Cursor c) : ACall(first, rest, c) {}
-	void constrain(TEnv& tenv, Constraints& c) const throw(Error);
+	AQuote(Cursor c, AST* ast, va_list args) : ACall(c, ast, args) {}
 };