1 files changed, 3 insertions, 3 deletions
diff --git a/typing.cpp b/typing.cpp
index 086db79..f926dde 100644
--- a/typing.cpp
+++ b/typing.cpp
@@ -44,7 +44,7 @@ ASymbol::constrain(TEnv& tenv, Constraints& c) const
 void
 ATuple::constrain(TEnv& tenv, Constraints& c) const
 {
-	AType* t = new AType(ATuple(), loc);
+	AType* t = new AType(loc, NULL);
 	FOREACH(const_iterator, p, *this) {
 		(*p)->constrain(tenv, c);
 		t->push_back(tenv.var(*p));
@@ -93,7 +93,7 @@ AClosure::constrain(TEnv& tenv, Constraints& c) const
 		Constraints cp;
 		cp.push_back(Constraint(tenv.var(this), tenv.var(), loc));
 
-		AType* protT = new AType(ATuple(), loc);
+		AType* protT = new AType(loc, NULL);
 		for (size_t i = 0; i < prot()->size(); ++i) {
 			AType* tvar = tenv.fresh(dynamic_cast<ASymbol*>(prot()->at(i)));
 			protT->push_back(tvar);
@@ -141,7 +141,7 @@ ACall::constrain(TEnv& tenv, Constraints& c) const
 			return;
 		}
 	}
-	AType* argsT = new AType(ATuple(), loc);
+	AType* argsT = new AType(loc, NULL);
 	for (size_t i = 1; i < size(); ++i)
 		argsT->push_back(tenv.var(at(i)));
 	AType* retT = tenv.var();