Fix tests, just order of things, shoudl be OK

GaloisInc · Feb 19, 2021 · 27c2339 · 27c2339
1 parent b525973
commit 27c2339
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 11 deletions.
diff --git a/tests/issues/issue567.icry.stdout b/tests/issues/issue567.icry.stdout
@@ -11,12 +11,12 @@ Loading module Cryptol
     This binding for `x` shadows the existing binding at
     issue567.icry:3:6--3:7
 (\(x, y) x -> x) : {a, b, c} (a, b) -> c -> c
-[warning] at issue567.icry:4:16--4:17
-    This binding for `y` shadows the existing binding at
-    issue567.icry:4:9--4:10
 [warning] at issue567.icry:4:13--4:14
     This binding for `x` shadows the existing binding at
     issue567.icry:4:6--4:7
+[warning] at issue567.icry:4:16--4:17
+    This binding for `y` shadows the existing binding at
+    issue567.icry:4:9--4:10
 (\(x, y) (x, y) -> x) : {a, b, c, d} (a, b) -> (c, d) -> c
 [warning] at issue567.icry:5:8--5:9
     This binding for `x` shadows the existing binding at

diff --git a/tests/regression/specialize.icry.stdout b/tests/regression/specialize.icry.stdout
@@ -13,29 +13,29 @@ where
   specialize::f = \ (__p1 : (Bit, Bit)) ->
                   (x, y)
                   where
-                    /* Not recursive */
-                    x : Bit
-                    x = __p1 .0 /* of 2 */
-
                     /* Not recursive */
                     y : Bit
                     y = __p1 .1 /* of 2 */
 
+                    /* Not recursive */
+                    x : Bit
+                    x = __p1 .0 /* of 2 */
+
 
 
   /* Not recursive */
   specialize::top : (Bit, Bit) -> (Bit, Bit)
   specialize::top = \ (__p0 : (Bit, Bit)) ->
                     specialize::f (x, y)
                     where
-                      /* Not recursive */
-                      x : Bit
-                      x = __p0 .0 /* of 2 */
-
                       /* Not recursive */
                       y : Bit
                       y = __p0 .1 /* of 2 */
 
+                      /* Not recursive */
+                      x : Bit
+                      x = __p0 .0 /* of 2 */
+