diff options
| -rw-r--r-- | src/pprint.cpp | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp index a2178a5..a4e493c 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -125,13 +125,12 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types) out << " "; if (form == "def") { - out << (*i++); // Print symbol + out << (*i++) << " "; // Print symbol if (types) - out << " :" << cenv->type(tup->list_ref(2)); + out << ":" << cenv->type(tup->list_ref(2)) << " "; - // Print value indented on the next line - newline(out, indent + 2); - print_list(out, tup, i, indent + 2, cenv, types, false); + print_to(out, (*i++), indent, cenv, types); + out << ")"; newline(out, 0); } else if (form == "fn") { |