From 1b216717d2e1baaf957a314a9352fd51f66119c0 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 31 Oct 2012 16:28:11 +0100
Subject: [PATCH] I think it's betterer
---
src/main/scala/leon/purescala/ScalaPrinter.scala | 15 +++++++++------
1 file changed, 9 insertions(+), 6 deletions(-)
diff --git a/src/main/scala/leon/purescala/ScalaPrinter.scala b/src/main/scala/leon/purescala/ScalaPrinter.scala
index c2ef2fd31..7bf7c2a07 100644
--- a/src/main/scala/leon/purescala/ScalaPrinter.scala
+++ b/src/main/scala/leon/purescala/ScalaPrinter.scala
@@ -301,17 +301,19 @@ object ScalaPrinter {
}
case IfExpr(c, t, e) => {
- sb.append("(if (")
+ sb.append("if (")
pp(c, sb, lvl)
- sb.append(")\n")
+ sb.append(") {\n")
ind(sb, lvl+1)
pp(t, sb, lvl+1)
sb.append("\n")
ind(sb, lvl)
- sb.append("else\n")
+ sb.append("} else {\n")
ind(sb, lvl+1)
pp(e, sb, lvl+1)
- sb.append(")")
+ sb.append("\n")
+ ind(sb, lvl)
+ sb.append("}")
}
case Choose(ids, pred) => {
@@ -383,8 +385,9 @@ object ScalaPrinter {
sb.append(" if ")
pp(g, sb, lvl+1)
})
- sb.append(" => ")
- pp(cs.rhs, sb, lvl+1)
+ sb.append(" =>\n")
+ ind(sb, lvl+2)
+ pp(cs.rhs, sb, lvl+2)
sb.append("\n")
})
ind(sb, lvl)
--
GitLab