aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/pprint.cpp6
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;
}