-Wall/cabal check cleanup of imports not related to compatability.

Author: davean

reflex.cabal

@@ -113,7 +113,6 @@ library
     Reflex.Workflow
 
   ghc-options: -Wall -fwarn-redundant-constraints -fwarn-tabs -funbox-strict-fields -O2 -fspecialise-aggressively
-  ghc-prof-options: -fprof-auto
 
   if flag(debug-trace-events)
     cpp-options: -DDEBUG_TRACE_EVENTS
@@ -139,7 +138,7 @@ library
       dependent-sum == 0.4.*
 
   if flag(fast-weak) && impl(ghcjs)
-    ghc-options: -DGHCJS_FAST_WEAK
+    cpp-options: -DGHCJS_FAST_WEAK
 
   if impl(ghcjs)
     build-depends: ghcjs-base
@@ -173,7 +172,7 @@ test-suite CrossImpl
   type: exitcode-stdio-1.0
   main-is: Reflex/Test/CrossImpl.hs
   hs-source-dirs: test
-  ghc-options: -O2 -Wall -rtsopts -main-is Reflex.Test.CrossImpl.test
+  ghc-options: -O2 -Wall -rtsopts
   build-depends:
     base,
     containers,
@@ -325,10 +324,9 @@ benchmark saulzar-bench
   c-sources: bench-cbits/checkCapability.c
   main-is: RunAll.hs
   ghc-options: -Wall -O2 -rtsopts -threaded
-  ghc-prof-options: -fprof-auto
   build-depends:
     base,
-    containers == 0.5.*,
+    containers >= 0.5 && < 0.7,
     criterion == 1.1.*,
     deepseq >= 1.3 && < 1.5,
     dependent-map,

src/Data/AppendMap.hs

@@ -26,7 +26,6 @@ import Prelude hiding (map, null)
 import Data.Coerce
 import Data.Default
 import Data.Map (Map)
-import qualified Data.Map as Map hiding (showTree, showTreeWith)
 import qualified Data.Map.Internal.Debug as Map (showTree, showTreeWith)
 import Data.Map.Monoidal
 import Reflex.Class (FunctorMaybe (..))

test/Reflex/Test/CrossImpl.hs

@@ -12,7 +12,6 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
-module Reflex.Test.CrossImpl (test) where
 
 import Prelude hiding (and, foldl, mapM, mapM_, sequence, sequence_)
 
@@ -26,7 +25,6 @@ import qualified Reflex.Spider.Internal as S
 import Control.Arrow (second, (&&&))
 import Control.Monad.Identity hiding (forM, forM_, mapM, mapM_, sequence, sequence_)
 import Control.Monad.State.Strict hiding (forM, forM_, mapM, mapM_, sequence, sequence_)
-import Control.Monad.Writer hiding (forM, forM_, mapM, mapM_, sequence, sequence_)
 import Data.Dependent.Map (DSum (..))
 import Data.Foldable
 import Data.Map.Strict (Map)
@@ -248,8 +246,8 @@ splitRecombineEvent e =
   in leftmost [ea, eb]
 
 
-test :: IO ()
-test = do
+main :: IO ()
+main = do
   results <- forM testCases $ \(name, TestCase inputs builder) -> do
     putStrLn $ "Test: " <> name
     testAgreement builder inputs

test/Reflex/Test/Micro.hs

@@ -263,13 +263,13 @@ testCases =
   , testB "factorDyn"  $ do
       d <- holdDyn (Left "a") =<< eithers
 
-      eithers <- eitherDyn d
+      eithers' <- eitherDyn d
       let unFactor = either id id
-      return $ current (join (fmap unFactor eithers))
+      return $ current (join (fmap unFactor eithers'))
 
   , testB "pushDynDeep"  $ do
-      e1 <- events1
-      e2 <- events2
+      _ <- events1
+      _ <- events2
 
       d1 <- holdDyn "d1" =<< events1
       d2 <- holdDyn "d2" =<< events2