diff options
author | David Robillard <d@drobilla.net> | 2009-06-27 03:09:57 +0000 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2009-06-27 03:09:57 +0000 |
commit | b91b19b8d3a2101bb1cc09022ccad4a322b93eab (patch) | |
tree | 285679171e9cda631791d271a749067e65e1a41c | |
parent | 14a96af1b4554e75506621c3cc9b2c107f01a119 (diff) | |
download | resp-b91b19b8d3a2101bb1cc09022ccad4a322b93eab.tar.gz resp-b91b19b8d3a2101bb1cc09022ccad4a322b93eab.tar.bz2 resp-b91b19b8d3a2101bb1cc09022ccad4a322b93eab.zip |
Lift regardless (fix 'def' test).
git-svn-id: http://svn.drobilla.net/resp/tuplr@155 ad02d1e2-f140-0410-9f75-f8b11f17cedd
-rw-r--r-- | tuplr.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -250,8 +250,7 @@ eval(CEnv& cenv, const string& name, istream& is) result->constrain(cenv.tenv, c); // Constrain types cenv.tsubst = Subst::compose(cenv.tsubst, TEnv::unify(c)); // Solve type constraints resultType = cenv.type(result); - if (resultType->concrete()) - result->lift(cenv); // Lift functions + result->lift(cenv); // Lift functions exprs.push_back(make_pair(exp, result)); // Add definitions as GC roots |