Change -chunk-must-rto-other-opt default to true.

With 8c5d094, the LLVM bug that erroneously optimizes a `musttail call` to a `noreturn` function is avoided.
MLton · Jul 22, 2019 · c3b9905 · c3b9905
1 parent 823815a
commit c3b9905
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/mlton/control/control-flags.sml b/mlton/control/control-flags.sml
@@ -135,7 +135,7 @@ val chunkMayRToSelfOpt = control {name = "chunkMayRToSelfOpt",
                                   default = true,
                                   toString = Bool.toString}
 val chunkMustRToOtherOpt = control {name = "chunkMustRToOtherOpt",
-                                    default = false,
+                                    default = true,
                                     toString = Bool.toString}
 val chunkMustRToSelfOpt = control {name = "chunkMustRToSelfOpt",
                                    default = true,

diff --git a/mlton/main/main.fun b/mlton/main/main.fun
@@ -289,7 +289,7 @@ fun makeOptions {usage} =
        (Expert, "chunk-may-rto-self-opt", " {true|false}",
         "whether to optimize return/raise that may transfer to self chunk",
         Bool (fn b => chunkMayRToSelfOpt := b)),
-       (Expert, "chunk-must-rto-other-opt", " {false|true}",
+       (Expert, "chunk-must-rto-other-opt", " {true|false}",
         "whether to optimize return/raise that must transfer to one other chunk",
         Bool (fn b => chunkMustRToOtherOpt := b)),
        (Expert, "chunk-must-rto-self-opt", " {true|false}",