diff options
Diffstat (limited to 'src/pprint.cpp')
| -rw-r--r-- | src/pprint.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp index 92898ac..5d03c78 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -41,14 +41,14 @@ print_list_one_line(ostream& out, const ATuple* tup, ATuple::const_iterator i, for (; i != tup->end(); ) { ATuple::const_iterator next = i; ++next; - + print_to(out, *i, indent, cenv, types); if (elem_types) out << " :" << cenv->tsubst.apply(cenv->tenv.var(*i)); if (next != tup->end()) out << " "; - + i = next; } @@ -75,7 +75,7 @@ print_list(ostream& out, const ATuple* tup, ATuple::const_iterator i, for (; i != tup->end(); ) { ATuple::const_iterator next = i; ++next; - + print_to(out, *i, indent, cenv, types); if (next != tup->end()) { newline(out, indent); @@ -135,7 +135,7 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types) print_to(out, (*i++), child_indent, cenv, types); out << ")"; newline(out, 0); - + } else if (form == "fn") { // Print prototype (possibly with parameter type annotations) const ATuple* pat = (*i++)->as_tuple(); @@ -167,7 +167,7 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types) out << (*v); if (types) out << " :" << cenv->tsubst.apply(cenv->tenv.var(*v)); - + out << " " << (*++v); if (++v != vars->end()) |