fix benchmark compilation under new LeanCheck

... LeanCheck now exposes the "A" test type
rudymatela · Jun 1, 2021 · df8aea5 · df8aea5
1 parent 3c27823
commit df8aea5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/bench/digraphs.hs b/bench/digraphs.hs
@@ -123,9 +123,7 @@ extraMutantsPS = drop 1
   , (isPath, \ns d -> D [])
   ]
 
--- Choosen node-label test type.
-type A = Nat
-
+main :: IO ()
 main = do
   unless listableOK
     $ putStrLn "WARNING: Listable Digraph is broken!  (read my source.)"

diff --git a/fitspec.cabal b/fitspec.cabal
@@ -81,7 +81,7 @@ library
                  , Test.FitSpec.Utils
                  , Test.FitSpec.PrettyPrint
   other-modules: Test.FitSpec.Dot
-  build-depends: base >= 4 && < 5, leancheck >= 0.9.3, cmdargs, template-haskell
+  build-depends: base >= 4 && < 5, leancheck >= 0.9.6, cmdargs, template-haskell
   hs-source-dirs:    src
   default-language:  Haskell2010