Add pgt {test,update}-no-lint commands to skip output post processing

mbj · Oct 5, 2023 · 1ffd0f3 · 1ffd0f3
1 parent 8dd18c8
commit 1ffd0f3
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/pgt/src/PGT/CLI.hs b/pgt/src/PGT/CLI.hs
@@ -43,10 +43,12 @@ parserInfoCommand = wrapHelper subcommands
 
     subcommands =
       CLI.subparser
-        $  mkCommand "list"   runList
-        <> mkCommand "run"    runExamples
-        <> mkCommand "test"   (runTests PGT.impureParse)
-        <> mkCommand "update" (runUpdates PGT.impureParse)
+        $  mkCommand "list"           runList
+        <> mkCommand "run"            runExamples
+        <> mkCommand "test"           (runTests PGT.impureParse)
+        <> mkCommand "test-no-lint"   (runTests identity)
+        <> mkCommand "update"         (runUpdates PGT.impureParse)
+        <> mkCommand "update-no-lint" (runUpdates identity)
 
     mkCommand
       :: String