diff options
Diffstat (limited to 'tuplr.hpp')
-rw-r--r-- | tuplr.hpp | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -433,7 +433,7 @@ inline ostream& operator<<(ostream& out, const Constraints& c) { out << i->first << " : " << i->second << endl; return out; } - + struct Subst : public map<const AType,AType*> { Subst(AType* s=0, AType* t=0) { if (s && t) { assert(s != t); insert(make_pair(*s, t)); } } static Subst compose(const Subst& delta, const Subst& gamma); @@ -506,10 +506,10 @@ struct TEnv : public Env< const ASymbol*, pair<AST*, AType*> > { struct CEnv { CEnv(PEnv& p, TEnv& t, CEngine e, ostream& os=std::cout, ostream& es=std::cerr); ~CEnv(); - + typedef Env<const ASymbol*, AST*> Code; typedef Env<const AST*, CValue> Vals; - + CEngine engine(); string gensym(const char* s="_") { return (format("%s%d") % s % symID++).str(); } void push() { tenv.push(); vals.push(); } @@ -528,7 +528,7 @@ struct CEnv { tenv.def(sym, make_pair(c, t)); vals.def(sym, v); } - + ostream& out; ostream& err; PEnv& penv; |