diff options
Diffstat (limited to 'tuplr.hpp')
| -rw-r--r-- | tuplr.hpp | 10 |
1 files changed, 1 insertions, 9 deletions
@@ -447,7 +447,6 @@ struct Subst : public map<const AType*,AType*> { Subst copy(*this); iterator i; while ((i = copy.find(in)) != copy.end()) { - cerr << "IN: " << in << endl; in = i->second; copy.erase(i); } @@ -465,10 +464,6 @@ struct TEnv : public Env<const AST*,AType*> { return def(sym, new AType(varID++, LAddr(), sym->loc)); } AType* var(const AST* ast=0) { - /*GenericTypes::iterator g = genericTypes.find(dynamic_casdt<AClosure*>(ast)); - if (g != vars.end()) - return g->second;*/ - const ASymbol* sym = dynamic_cast<const ASymbol*>(ast); if (sym) return deref(lookup(sym)); @@ -525,9 +520,7 @@ struct CEnv { return dynamic_cast<AType*>(tsubst.apply(subst.apply(tenv.vars[ast]))); } void def(ASymbol* sym, AST* c, AType* t, CValue v) { - code.def(sym, c); - tenv.def(sym, t); - vals.def(sym, v); + code.def(sym, c); tenv.def(sym, t); vals.def(sym, v); } ostream& out; @@ -537,7 +530,6 @@ struct CEnv { Code code; Vals vals; - unsigned symID; CFunction alloc; Subst tsubst; |