From c190c3895f0c0861afa6a681b932609d7cdd2ce6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Mon, 26 Mar 2012 01:15:24 +0000
Subject: [PATCH] more readable pretty printer with blocks, while, if and
nested def
---
src/main/scala/leon/purescala/PrettyPrinter.scala | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 8dae2f8b7..1edb130e7 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -112,8 +112,10 @@ object PrettyPrinter {
case While(cond, body) => {
sb.append("while(")
pp(cond, sb, lvl)
- sb.append(") ")
- pp(body, sb, lvl)
+ sb.append(")\n")
+ ind(sb, lvl+1)
+ pp(body, sb, lvl+1)
+ sb.append("\n")
}
case Tuple(exprs) => ppNary(sb, exprs, "(", ", ", ")", lvl)
--
GitLab