Remove Leancheck extensions and dependency.

WORKSPACE

@@ -102,7 +102,6 @@ stack_snapshot(
         "hspec",
         "hspec-core",
         "hspec-expectations",
-        "leancheck",
         "lens",
         "network",
         "network-uri",

semantic/BUILD.bazel

@@ -169,7 +169,6 @@ haskell_test(
         "@stackage//:hspec",
         "@stackage//:hspec-core",
         "@stackage//:hspec-expectations",
-        "@stackage//:leancheck",
         "@stackage//:tasty",
         "@stackage//:tasty-golden",
         "@stackage//:tasty-hedgehog",

semantic/semantic.cabal

@@ -198,8 +198,7 @@ test-suite test
   type:                exitcode-stdio-1.0
   hs-source-dirs:      test
   main-is:             Spec.hs
-  other-modules:       Data.Functor.Listable
-                     , Data.Graph.Spec
+  other-modules:       Data.Graph.Spec
                      , Data.Language.Spec
                      , Data.Semigroup.App.Spec
                      , Integration.Spec
@@ -209,7 +208,6 @@ test-suite test
                      , Semantic.Stat.Spec
                      , Tags.Spec
                      , SpecHelpers
-                     , Test.Hspec.LeanCheck
                      , Generators
                      , Properties
   build-depends:       semantic
@@ -228,7 +226,6 @@ test-suite test
                      , tasty-hspec ^>= 1.1.5.1
                      , tasty-hunit ^>= 0.10.0.2
                      , HUnit ^>= 1.6.0.0
-                     , leancheck >= 0.8 && <1
                      , temporary ^>= 1.3
 
 test-suite parse-examples

semantic/test/SpecHelpers.hs

@@ -32,7 +32,6 @@ import           Data.ByteString.Builder (Builder, toLazyByteString)
 import           Data.ByteString.Lazy (toStrict)
 import           Data.Edit as X
 import           Data.Foldable (toList)
-import           Data.Functor.Listable as X
 import           Data.Language as X hiding (Precise)
 import           Data.List.NonEmpty as X (NonEmpty (..))
 import           Data.Maybe as X
@@ -56,8 +55,6 @@ import           System.Exit (die)
 import qualified System.Path as Path
 import           Test.Hspec as X (Spec, SpecWith, around, context, describe, it, parallel, pendingWith, runIO, xit)
 import           Test.Hspec.Expectations as X
-import           Test.Hspec.LeanCheck as X
-import           Test.LeanCheck as X
 
 instance Lower X.Span where
   lowerBound = Source.Span.point (Pos 1 1)