diff options
| -rw-r--r-- | tuplr.hpp | 7 | ||||
| -rw-r--r-- | typing.cpp | 2 |
2 files changed, 3 insertions, 6 deletions
@@ -131,7 +131,6 @@ SExp readExpression(Cursor& cur, std::istream& in); typedef void* CValue; ///< Compiled value (opaque) typedef void* CFunction; ///< Compiled function (opaque) -typedef void* CEngine; ///< Compiler engine (opaque) /*************************************************************************** @@ -562,8 +561,8 @@ struct Engine { const vector<string> argNames=vector<string>()) = 0; virtual void finishFunction(CEnv& cenv, CFunction f, CValue ret) = 0; - virtual void eraseFunction(CEnv& cenv, CFunction f) = 0; - virtual void writeModule(CEnv& cenv, std::ostream& os) = 0; + virtual void eraseFunction(CEnv& cenv, CFunction f) = 0; + virtual void writeModule(CEnv& cenv, std::ostream& os) = 0; virtual const string call(CEnv& cenv, CFunction f, AType* retT) = 0; }; @@ -625,8 +624,6 @@ private: void pprint(std::ostream& out, const AST* ast); void initLang(PEnv& penv, TEnv& tenv); -CEnv* newCenv(PEnv& penv, TEnv& tenv); -void freeCenv(CEnv* cenv); int eval(CEnv& cenv, const string& name, istream& is); int repl(CEnv& cenv); @@ -25,6 +25,7 @@ Constraints::constrain(TEnv& tenv, const AST* o, AType* t) push_back(Constraint(tenv.var(o), t, o->loc)); } + /*************************************************************************** * AST Type Constraints * ***************************************************************************/ @@ -244,7 +245,6 @@ substitute(ATuple* tup, const AST* from, AST* to) substitute(tup->at(i)->to<ATuple*>(), from, to); } - Subst Subst::compose(const Subst& delta, const Subst& gamma) // TAPL 22.1.1 { |