test conditional

TiarkRompf · TiarkRompf · commit 3eb56a2d9f29 · 2015-08-15T20:00:30.000+02:00
diff --git a/test-out/epfl/test5-conditional.check b/test-out/epfl/test5-conditional.check
@@ -6,19 +6,19 @@ class Test extends ((Double)=>(Double)) {
 def apply(x0:Double): Double = {
 val x1 = println("yoyo")
 val x2 = x0 == x0
-val x6 = x0+4.0
+val x6 = x0 + 4.0
 val x9 = if (x2) {
 val x3 = println("yoyo")
 val x4 = println("xxx")
 val x5 = println("yoyo")
 x6
 } else {
-val x8 = x0+6.0
+val x8 = x0 + 6.0
 x8
 }
 val x10 = println("yyy")
 val x11 = println("yoyo")
-val x12 = x9+x6
+val x12 = x9 + x6
 x12
 }
 }
diff --git a/test-out/epfl/test5-conditional.html.check b/test-out/epfl/test5-conditional.html.check
@@ -2,19 +2,21 @@
 function main(x14) {
 var x15 = document.body.appendChild(document.createElement("div")).appendChild(document.createTextNode("yoyo"))
 var x16 = 7.0==7.0
-var x21
+var x20 = 7.0+4.0
+var x23
 if (x16) {
 var x17 = document.body.appendChild(document.createElement("div")).appendChild(document.createTextNode("yoyo"))
 var x18 = document.body.appendChild(document.createElement("div")).appendChild(document.createTextNode("xxx"))
 var x19 = document.body.appendChild(document.createElement("div")).appendChild(document.createTextNode("yoyo"))
-x21=11.0
+x23=x20
 } else {
-x21=13.0
+var x22 = 7.0+6.0
+x23=x22
 }
-var x22 = document.body.appendChild(document.createElement("div")).appendChild(document.createTextNode("yyy"))
-var x23 = document.body.appendChild(document.createElement("div")).appendChild(document.createTextNode("yoyo"))
-var x24 = x21+11.0
-return x24
+var x24 = document.body.appendChild(document.createElement("div")).appendChild(document.createTextNode("yyy"))
+var x25 = document.body.appendChild(document.createElement("div")).appendChild(document.createTextNode("yoyo"))
+var x26 = x23+x20
+return x26
 }
 </script><body onload="main(0)">
 </body></html>
