test mutation 1

Author: TiarkRompf

test-out/epfl/test8-mutation1.check

@@ -1,5 +1,5 @@
 error: write to non-mutable Sym(8) -> Some(TP(Sym(8),IfThenElse(Sym(7),Block(Sym(3)),Block(Sym(6)))))
-at Sym(9)=Reflect(ArrayUpdate(Sym(8),Const(40),Const(40.0)),Summary(false,false,false,false,false,false,List(Sym(3), Sym(6)),List(Sym(3), Sym(6)),List(Sym(8)),List(Sym(8))),List(Sym(3), Sym(6)))
+at Sym(9)=Reflect(ArrayUpdate(Sym(8),Const(40),Const(40)),Summary(false,false,false,false,false,false,List(Sym(3), Sym(6)),List(Sym(3), Sym(6)),List(Sym(8)),List(Sym(8))),List(Sym(3), Sym(6)))
 promoting to effect: Sym(10)=Reflect(ArrayIndex(Sym(8),Const(50)),Summary(false,false,false,false,false,false,List(Sym(3), Sym(6)),List(Sym(3), Sym(6)),List(),List()),List(Sym(3), Sym(6)))
 depends on  Sym(3)
 depends on  Sym(6)
@@ -9,11 +9,11 @@ depends on  Sym(6)
 class Test extends ((Int)=>(Unit)) {
 def apply(x0:Int): Unit = {
 val x2 = LoopArray(100) { x1 => 
-0.0
+0
 }
 val x3 = x2.clone // mutable
 val x5 = LoopArray(100) { x4 => 
-0.0
+0
 }
 val x6 = x5.clone // mutable
 val x7 = x0 > 7
@@ -22,7 +22,7 @@ x3
 } else {
 x6
 }
-val x9 = x8.update(40, 40.0)
+val x9 = x8.update(40, 40)
 val x10 = x8.apply(50)
 val x11 = println(x10)
 x11

test-out/epfl/test8-mutation1b.check

@@ -6,11 +6,11 @@ depends on  Sym(9)
 class Test extends ((Int)=>(Unit)) {
 def apply(x0:Int): Unit = {
 val x2 = LoopArray(100) { x1 => 
-0.0
+0
 }
 val x3 = x2.clone // mutable
 val x5 = LoopArray(100) { x4 => 
-0.0
+0
 }
 val x6 = x5.clone // mutable
 val x7 = x0 > 7
@@ -20,7 +20,7 @@ x3
 x6
 }
 val x9 = x8.clone // mutable
-val x10 = x9.update(40, 40.0)
+val x10 = x9.update(40, 40)
 val x11 = x9.apply(50)
 val x12 = println(x11)
 x12