From 6e23ced6d94ee71fafbf7986b63c98711aaaeb23 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Mon, 28 Nov 2022 17:32:19 -0800 Subject: [PATCH] fix: test --- .../CompilerElimDeadBranches.lean.expected.out | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/tests/lean/CompilerElimDeadBranches.lean.expected.out b/tests/lean/CompilerElimDeadBranches.lean.expected.out index eb482c0f81..57bf7b9fe8 100644 --- 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