From 14b989aaf2c11710cef316a3ba20a947777cca08 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Tue, 31 Mar 2009 00:02:41 +0000 Subject: Fix type constraint for symbols (match type of lexical binding). git-svn-id: http://svn.drobilla.net/resp/tuplr@111 ad02d1e2-f140-0410-9f75-f8b11f17cedd --- typing.cpp | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/typing.cpp b/typing.cpp index 94826e9..285173b 100644 --- a/typing.cpp +++ b/typing.cpp @@ -35,10 +35,7 @@ ASymbol::constrain(TEnv& tenv, Constraints& c) const addr = tenv.lookup(this); if (!addr) throw Error((format("undefined symbol `%1%'") % cppstr).str(), loc); - pair& t = tenv.deref(addr); - AType* tvar = tenv.var(t.second); - c.push_back(Constraint(tenv.var(this), tvar, loc)); - c.push_back(Constraint(t.second, tvar, loc)); + c.push_back(Constraint(tenv.var(this), tenv.deref(addr).second, loc)); } void -- cgit v1.2.1