Tidy.

git-svn-id: http://svn.drobilla.net/resp/tuplr@143 ad02d1e2-f140-0410-9f75-f8b11f17cedd

2 files changed, 3 insertions, 6 deletions

diff --git a/tuplr.hpp b/tuplr.hpp
index 268d0b1..acf1cec 100644
--- a/tuplr.hpp
+++ b/tuplr.hpp
@@ -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);
 
diff --git a/typing.cpp b/typing.cpp
index 189ddf4..c9eeb6d 100644
--- a/typing.cpp
+++ b/typing.cpp
@@ -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
 {