diff options
Diffstat (limited to 'src/constrain.cpp')
| -rw-r--r-- | src/constrain.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/constrain.cpp b/src/constrain.cpp index 024dce4..d0490bf 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -126,7 +126,7 @@ ACall::constrain(TEnv& tenv, Constraints& c) const throw(Error) (format("expected %1% arguments, got %2%") % numArgs % (size() - 1)).str()); } - const AType* retT = tenv.var(); + const AType* retT = tenv.var(this); AType* argsT = tup<AType>(loc, 0); for (const_iterator i = begin() + 1; i != end(); ++i) argsT->push_back(const_cast<AType*>(tenv.var(*i))); @@ -146,7 +146,6 @@ ADef::constrain(TEnv& tenv, Constraints& c) const throw(Error) tenv.def(sym, tvar); body()->constrain(tenv, c); c.constrain(tenv, sym, tvar); - c.constrain(tenv, this, tenv.named("Nothing")); } void |