diff options
| author | David Robillard <d@drobilla.net> | 2009-03-31 00:02:41 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2009-03-31 00:02:41 +0000 |
| commit | 14b989aaf2c11710cef316a3ba20a947777cca08 (patch) | |
| tree | 24accc790dac46bf19467347b488c1abc641001b | |
| parent | b0a77c63d82a1b6e46f37c29e07a29047315cd63 (diff) | |
| download | resp-14b989aaf2c11710cef316a3ba20a947777cca08.tar.gz resp-14b989aaf2c11710cef316a3ba20a947777cca08.tar.bz2 resp-14b989aaf2c11710cef316a3ba20a947777cca08.zip | |
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
| -rw-r--r-- | typing.cpp | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -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<AST*, AType*>& 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 |