From ec3b868cb63848106f4d1e0124e8bcec9245f96a Mon Sep 17 00:00:00 2001 From: Mathew Polzin Date: Thu, 15 Jul 2021 17:24:12 -0700 Subject: [PATCH] rename experimental command line flag and group with the other experimental feature. --- src/Idris/CommandLine.idr | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Idris/CommandLine.idr b/src/Idris/CommandLine.idr index 417301f5e..97ab26d77 100644 --- a/src/Idris/CommandLine.idr +++ b/src/Idris/CommandLine.idr @@ -234,8 +234,6 @@ options = [MkOpt ["--check", "-c"] [] [CheckOnly] (Just $ "Set output directory"), MkOpt ["--profile"] [] [Profile] (Just "Generate profile data when compiling, if supported"), - MkOpt ["--case-tree-opt"] [] [CaseTreeHeuristics] - (Just "Apply experimental optimizations to case tree generation"), optSeparator, MkOpt ["-Werror"] [] [WarningsAsErrors] @@ -246,6 +244,8 @@ options = [MkOpt ["--check", "-c"] [] [CheckOnly] optSeparator, MkOpt ["-Xcheck-hashes"] [] [HashesInsteadOfModTime] (Just "Use SHA256 hashes instead of modification time to determine if a source file needs rebuilding"), + MkOpt ["-Xcase-tree-opt"] [] [CaseTreeHeuristics] + (Just "Apply experimental optimizations to case tree generation"), optSeparator, MkOpt ["--prefix"] [] [ShowPrefix]