fix: test

bollu · Nov 29, 2022 · 6e23ced · 6e23ced
1 parent bdbab65
commit 6e23ced
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/tests/lean/CompilerElimDeadBranches.lean.expected.out b/tests/lean/CompilerElimDeadBranches.lean.expected.out
@@ -47,7 +47,13 @@
           let _x.5 := some _ _x.4;
           return _x.5
 [Compiler.result] size: 1 def addSomeVal x : Option Nat := let _x.1 := addSomeVal._redArg; return _x.1
-[Compiler.elimDeadBranches] Eliminating monadic with #[("_x.205",
+[Compiler.elimDeadBranches] Eliminating monadic with #[("_x.207",
+       Lean.Compiler.LCNF.UnreachableBranches.Value.ctor `Except.error #[Lean.Compiler.LCNF.UnreachableBranches.Value.top]),
+      ("_x.88", Lean.Compiler.LCNF.UnreachableBranches.Value.top),
+      ("a.208", Lean.Compiler.LCNF.UnreachableBranches.Value.top),
+      ("val.200", Lean.Compiler.LCNF.UnreachableBranches.Value.top),
+      ("x", Lean.Compiler.LCNF.UnreachableBranches.Value.top),
+      ("_x.205",
        Lean.Compiler.LCNF.UnreachableBranches.Value.ctor `Except.error #[Lean.Compiler.LCNF.UnreachableBranches.Value.top]),
       ("val.64", Lean.Compiler.LCNF.UnreachableBranches.Value.top),
       ("_x.211",
@@ -56,13 +62,7 @@
       ("_x.212",
        Lean.Compiler.LCNF.UnreachableBranches.Value.ctor `Option.some #[Lean.Compiler.LCNF.UnreachableBranches.Value.top]),
       ("_x.91",
-       Lean.Compiler.LCNF.UnreachableBranches.Value.ctor `Except.ok #[Lean.Compiler.LCNF.UnreachableBranches.Value.top]),
-      ("_x.207",
-       Lean.Compiler.LCNF.UnreachableBranches.Value.ctor `Except.error #[Lean.Compiler.LCNF.UnreachableBranches.Value.top]),
-      ("_x.88", Lean.Compiler.LCNF.UnreachableBranches.Value.top),
-      ("a.208", Lean.Compiler.LCNF.UnreachableBranches.Value.top),
-      ("val.200", Lean.Compiler.LCNF.UnreachableBranches.Value.top),
-      ("x", Lean.Compiler.LCNF.UnreachableBranches.Value.top)]
+       Lean.Compiler.LCNF.UnreachableBranches.Value.ctor `Except.ok #[Lean.Compiler.LCNF.UnreachableBranches.Value.top])]
 [Compiler.elimDeadBranches] Threw away cases _x.211 branch Option.none
 [Compiler.elimDeadBranches] Threw away cases _x.212 branch Option.none
 [Compiler.elimDeadBranches] Threw away cases _x.205 branch Except.ok