Try and fail to fix _another_ test

septract · Feb 15, 2017 · 08ca5d6 · 08ca5d6
1 parent 80500cf
commit 08ca5d6
Showing 1 changed file with 12 additions and 8 deletions.
diff --git a/SemanticsTests.fs b/SemanticsTests.fs
@@ -448,15 +448,19 @@ module MicrocodeToBool =
                         (mkTypedArrayExpr
                             (Bool (normalRec, ()))
                             (Some 10)
-                            (aupd'
-                                (mkTypedArrayExpr
-                                    (Bool (normalRec, ()))
-                                    (Some 10)
-                                    (AVar (Reg (Before "foo"))))
-                                (siBefore "x")
-                                (normalBoolExpr BTrue)))
+                            (AVar (Reg (Intermediate (0I, "foo")))))
+                        (siBefore "x")
+                        (normalBoolExpr BTrue))
+                  BEq
+                    (typedArrayToExpr
+                        (mkTypedArrayExpr (Bool (normalRec, ())) (Some 10) (AVar (Reg (Intermediate (0I, "foo"))))),
+                     aupd
+                        (mkTypedArrayExpr
+                            (Bool (normalRec, ()))
+                            (Some 10)
+                            (AVar (Reg (Before "foo"))))
                         (siBefore "y")
-                        (normalBoolExpr  BFalse)) ])
+                        (normalBoolExpr BFalse)) ])
             [ normalBoolExpr
                   (BIdx
                       (mkTypedArrayExpr (Bool (normalRec, ())) (Some 10) (AVar (Reg "foo")),