Skip to content
Snippets Groups Projects
Commit b29468d1 authored by Philippe Suter's avatar Philippe Suter
Browse files

Merge branch 'master' of laragit.epfl.ch:projects/leon-2.0

parents e69809e2 1b216717
No related branches found
No related tags found
No related merge requests found
...@@ -301,17 +301,19 @@ object ScalaPrinter { ...@@ -301,17 +301,19 @@ object ScalaPrinter {
} }
case IfExpr(c, t, e) => { case IfExpr(c, t, e) => {
sb.append("(if (") sb.append("if (")
pp(c, sb, lvl) pp(c, sb, lvl)
sb.append(")\n") sb.append(") {\n")
ind(sb, lvl+1) ind(sb, lvl+1)
pp(t, sb, lvl+1) pp(t, sb, lvl+1)
sb.append("\n") sb.append("\n")
ind(sb, lvl) ind(sb, lvl)
sb.append("else\n") sb.append("} else {\n")
ind(sb, lvl+1) ind(sb, lvl+1)
pp(e, sb, lvl+1) pp(e, sb, lvl+1)
sb.append(")") sb.append("\n")
ind(sb, lvl)
sb.append("}")
} }
case Choose(ids, pred) => { case Choose(ids, pred) => {
...@@ -383,8 +385,9 @@ object ScalaPrinter { ...@@ -383,8 +385,9 @@ object ScalaPrinter {
sb.append(" if ") sb.append(" if ")
pp(g, sb, lvl+1) pp(g, sb, lvl+1)
}) })
sb.append(" => ") sb.append(" =>\n")
pp(cs.rhs, sb, lvl+1) ind(sb, lvl+2)
pp(cs.rhs, sb, lvl+2)
sb.append("\n") sb.append("\n")
}) })
ind(sb, lvl) ind(sb, lvl)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment