diff options
| -rw-r--r-- | src/pprint.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp index 44a6759..94380b9 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -160,13 +160,16 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types) newline(out, indent + 2); print_list(out, fn, fn->iter_at(2), indent + 2, cenv, types, false); } else { - const unsigned child_indent = types ? indent + 2 : indent; + const unsigned child_indent = indent + 2; out << (*i++); // Print symbol if (types) { print_annotation(out, tup->list_ref(2), indent + head_width + 1, cenv, true); newline(out, child_indent); + } else if (tup->frrst()->as_tuple()) { + newline(out, child_indent); + } else { + out << " "; } - out << " "; print_to(out, *i++, child_indent, cenv, types); } out << ")"; |