Cleanup imports.

bench/arithficial.hs

@@ -1,5 +1,4 @@
 import Test.Speculate
-import System.Environment (getArgs)
 
 -- How well does this tool performs on artificial operators
 f :: Num a => a -> a -> a

eg/binarytree.hs

@@ -2,7 +2,6 @@
 {-# Language DeriveDataTypeable, StandaloneDeriving #-} -- for GHC <= 7.8
 -- Colin Runciman, December 2016
 import Test.Speculate
-import Test.LeanCheck
 import Data.Function (on)
 
 

eg/binarytree0.hs

@@ -2,7 +2,6 @@
 {-# Language DeriveDataTypeable, StandaloneDeriving #-} -- for GHC <= 7.8
 -- Colin Runciman, December 2016
 import Test.Speculate
-import Test.LeanCheck
 import Data.Function (on)
 
 

eg/bool.hs

@@ -1,5 +1,4 @@
 import Test.Speculate
-import Test.LeanCheck ((==>))
 
 main :: IO ()
 main = speculate args

eg/colour.hs

@@ -1,10 +1,8 @@
 {-# LANGUAGE DeriveDataTypeable, StandaloneDeriving #-} -- for GHC < 7.10
 import Test.Speculate
 import Test.Speculate.Utils.Colour
-import Test.LeanCheck
 import Data.Ratio
 import Data.Function (on)
-import Test.Speculate.Sanity
 
 deriving instance Typeable Colour -- for GHC < 7.10
 

eg/digraphs.hs

@@ -1,8 +1,5 @@
 {-# LANGUAGE CPP, DeriveDataTypeable, StandaloneDeriving #-} -- for GHC < 7.10
 import Test.Speculate
-import Test.LeanCheck hiding ((\/))
-import Test.LeanCheck.Utils
-import Data.Function (on)
 
 import Digraph
 

eg/fun.hs

@@ -1,5 +1,5 @@
 import Test.Speculate
-import Test.Speculate.Function.A100
+import Test.Speculate.Function.A100()
 
 main :: IO ()
 main = speculate args

eg/monad.hs

@@ -1,5 +1,5 @@
 import Test.Speculate
-import Test.Speculate.Function.A100
+import Test.Speculate.Function.A100()
 
 import Control.Monad ((>=>))
 

eg/pretty.hs

@@ -1,7 +1,6 @@
 {-# LANGUAGE CPP #-}
 {-# Language DeriveDataTypeable, StandaloneDeriving #-} -- for GHC < 7.10
 import Test.Speculate
-import Test.LeanCheck
 import Data.Function (on)
 import Data.List (isPrefixOf)
 

eg/regexes.hs

@@ -4,7 +4,6 @@ import Test.Speculate
 import Test.Speculate.Utils.Memoize
 import Data.Function (on)
 import Regex
-import Data.Maybe (fromJust)
 
 instance Listable Symbol where
   list = [Symbol 'a', Symbol 'b', Symbol 'c']

eg/tauts.hs

@@ -3,7 +3,6 @@
 import Test.Speculate hiding (Name(..))
 import qualified Test.Speculate as S
 import Taut hiding (main)
-import Test.LeanCheck
 
 deriveListable ''Prop
 deriveListable ''Name

src/Test/Speculate/CondReason.hs

@@ -13,7 +13,7 @@ import Test.Speculate.Expr
 import Test.Speculate.Reason
 import qualified Test.Speculate.Utils.Digraph as D
 import Test.Speculate.Utils.Digraph (Digraph)
-import Data.Maybe (mapMaybe,maybeToList,fromMaybe)
+import Data.Maybe (maybeToList,fromMaybe)
 import Data.List (lookup, sortBy)
 import Data.Function (on)
 import Data.Functor ((<$>)) -- for GHC < 7.10

src/Test/Speculate/Function.hs

@@ -20,7 +20,7 @@ module Test.Speculate.Function
 where
 
 import Test.Speculate
-import Test.LeanCheck.Function
+import Test.LeanCheck.Function()
 import Test.LeanCheck.Error (errorToNothing)
 import Data.Function (on)
 

src/Test/Speculate/Pretty.hs

@@ -20,8 +20,6 @@ import Test.Speculate.Reason     (Thy, finalEquations)
 import Test.Speculate.SemiReason (Shy, finalSemiEquations)
 import Test.Speculate.CondReason (Chy, finalCondEquations)
 
-import Data.Typeable (typeOf, TypeRep)
-
 type Equation = (Expr,Expr)
 type CondEquation = (Expr,Expr,Expr)
 

src/Test/Speculate/Reason.hs

@@ -58,13 +58,13 @@ import Test.Speculate.Expr
 import Test.Speculate.Reason.Order
 import Test.Speculate.Utils
 import Data.Either
-import Data.Tuple (swap)
-import Data.List (partition, (\\), sortBy, sort)
 import Data.Function (on)
-import Data.Monoid ((<>))
 import Data.Functor ((<$>)) -- for GHC < 7.10
+import Data.List (partition, (\\), sortBy, sort)
+import Data.Maybe
+import Data.Monoid ((<>))
+import Data.Tuple (swap)
 import qualified Data.List as L (insert)
-import Data.Maybe (fromJust,isJust,listToMaybe,maybeToList,mapMaybe)
 import Control.Monad
 
 type Rule = (Expr,Expr)

tests/test-stats.hs

@@ -1,12 +1,7 @@
 -- Test library
 import Test
 
--- Helper
-import Data.Function (on)
-
 -- Functions under test
-import Test.Speculate
-import Test.Speculate.Expr
 import Test.Speculate.Reason
 import Test.Speculate.Utils