dev-no-check

anoma · Dec 4, 2024 · 8291fa7 · 8291fa7
1 parent 71e4190
commit 8291fa7
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/app/GlobalOptions.hs b/app/GlobalOptions.hs
@@ -133,11 +133,6 @@ parseGlobalFlags = do
       ( long "no-stdlib"
           <> help "Do not use the standard library"
       )
-  _globalNoCheck <-
-    switch
-      ( long "no-check"
-          <> help "Disable input sanity check in Core"
-      )
   _globalFieldSize <-
     option
       fieldSizeOpt
@@ -169,6 +164,11 @@ parseGlobalFlags = do
                 <> intercalate " < " [show l | l <- allElements @LogLevel]
             )
       )
+  _globalNoCheck <-
+    switch
+      ( long "dev-no-check"
+          <> help "[DEV] Disable input sanity check in Core"
+      )
   _globalShowNameIds <-
     switch
       ( long "show-name-ids"