diff options
Diffstat (limited to 'src/repl.cpp')
| -rw-r--r-- | src/repl.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/repl.cpp b/src/repl.cpp index f5f7fd4..a1d3e74 100644 --- a/src/repl.cpp +++ b/src/repl.cpp @@ -48,7 +48,7 @@ readParseType(CEnv& cenv, Cursor& cursor, istream& is, const AST*& exp, const AS resp_constrain(cenv.tenv, c, ast); // Constrain types //cout << "(CONSTRAINTS " << endl << c << ")" << endl; - + const Subst subst = unify(c); // Solve type constraints for (Subst::const_iterator i = subst.begin(); i != subst.end(); ++i) { if (!cenv.tsubst.contains(i->first)) { // Substitution's LHS is a new variable @@ -89,11 +89,11 @@ eval(CEnv& cenv, Cursor& cursor, istream& is, bool execute) typedef list<const AST*> Parsed; Parsed parsed; - + try { while (readParseType(cenv, cursor, is, exp, ast)) parsed.push_back(ast); - + if (cenv.args.find("-T") != cenv.args.end()) { for (Parsed::const_iterator i = parsed.begin(); i != parsed.end(); ++i) pprint(cout, *i, &cenv, true); @@ -148,7 +148,7 @@ eval(CEnv& cenv, Cursor& cursor, istream& is, bool execute) cenv.engine()->writeModule(cenv, cenv.out); return 0; } - + // Call and print result callPrintCollect(cenv, f, ast, type, execute); |