rolledback test Main

Author: tittoassini

test/functional/Main.hs

@@ -1,5 +1,3 @@
-{-# OPTIONS_GHC -Wall #-}
-
 module Main where
 
 import Command
@@ -14,50 +12,43 @@ import FunctionalCodeAction
 import FunctionalLiquid
 import HieBios
 import Highlight
-import ModuleName
 import Progress
 import Reference
 import Rename
 import Symbol
-import System.Environment
 import Tactic
 import Test.Tasty
 import Test.Tasty.Ingredients.Rerun
-import Test.Tasty.Runners (
-    consoleTestReporter,
-    listingTests,
- )
+import Test.Tasty.Runners (consoleTestReporter, listingTests)
 import Test.Tasty.Runners.AntXML
 import TypeDefinition
 
 main :: IO ()
-main = do
+main =
     -- ingredient: xml runner writes json file of test results (https://github.com/ocharles/tasty-ant-xml/blob/master/Test/Tasty/Runners/AntXML.hs)
     --             rerunningTests allow rerun of failed tests (https://github.com/ocharles/tasty-rerun/blob/master/src/Test/Tasty/Ingredients/Rerun.hs)
-    setEnv
-        "TASTY_NUM_THREADS"
-        "1"
     defaultMainWithIngredients
-        [antXMLRunner, rerunningTests [listingTests, consoleTestReporter]]
+        [ antXMLRunner
+        , rerunningTests [listingTests, consoleTestReporter]
+        ]
         $ testGroup
             "haskell-language-server"
-            [ --     Command.tests
-              -- , Completion.tests
-              -- , Deferred.tests
-              -- , Definition.tests
-              -- , Diagnostic.tests
-              Eval.tests
-              -- , Format.tests
-              -- , FunctionalBadProject.tests
-              -- , FunctionalCodeAction.tests
-              -- , FunctionalLiquid.tests
-              -- , HieBios.tests
-              -- , Highlight.tests
-              -- , ModuleName.tests
-              -- , Progress.tests
-              -- , Reference.tests
-              -- , Rename.tests
-              -- , Symbol.tests
-              -- , Tactic.tests
-              -- , TypeDefinition.tests
+            [ Command.tests
+            , Completion.tests
+            , Deferred.tests
+            , Definition.tests
+            , Diagnostic.tests
+            , Eval.tests
+            , Format.tests
+            , FunctionalBadProject.tests
+            , FunctionalCodeAction.tests
+            , FunctionalLiquid.tests
+            , HieBios.tests
+            , Highlight.tests
+            , Progress.tests
+            , Reference.tests
+            , Rename.tests
+            , Symbol.tests
+            , Tactic.tests
+            , TypeDefinition.tests
             ]