diff options
Diffstat (limited to 'llvm.cpp')
| -rw-r--r-- | llvm.cpp | 13 |
1 files changed, 0 insertions, 13 deletions
@@ -332,14 +332,7 @@ ACall::lift(CEnv& cenv) if (c->prot()->size() > size() - 1) throw Error((format("too few arguments to function `%1%'") % at(0)->str()).str(), loc); - // Extend environment with bound and typed parameters - /*cenv.push(); - - for (size_t i = 1; i < size(); ++i) - cenv.def(c->prot()->at(i-1)->as<ASymbol*>(), at(i), cenv.type(at(i)), NULL);*/ - c->liftCall(cenv, argsT); // Lift called closure - //cenv.pop(); // Restore environment } CValue @@ -644,12 +637,6 @@ repl(CEnv& cenv) Constraints c; body->constrain(cenv.tenv, c); // Constrain types - for (TEnv::GenericTypes::const_iterator i = cenv.tenv.genericTypes.begin(); - i != cenv.tenv.genericTypes.end(); ++i) { - c.push_back(Constraint(cenv.tenv.var(i->first), - new AType(*i->second), i->first->loc)); - } - Subst oldSubst = cenv.tsubst; cenv.tsubst = Subst::compose(cenv.tsubst, TEnv::unify(c)); // Solve type constraints |