diff options
| -rw-r--r-- | src/pprint.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp index 4adb568..44a6759 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -262,5 +262,9 @@ pprint(ostream& out, const AST* ast, CEnv* cenv, bool types) { print_to(out, ast, 0, cenv, types); print_annotation(out, ast, 0, cenv, types); - out << endl << endl; + out << endl; + if ((is_form(ast, "def") && is_form(ast->as_tuple()->frrst(), "fn")) + || is_form(ast, "fn-end") + || is_form(ast, "def-type")) + out << endl; } |