Revision on heap places a lower bound on QuickCheck than the one we already have about stackage

[Bodigrim]

However, we have QuickCheck-2.14.3 and heap-1.0.4 in the snapshot and no compilation failure

Are you sure about it? It fails for me with

Test.hs:15:10: error: [GHC-27346]
    • The data constructor ‘Success’ should have 6 arguments, but has been given 3
    • In the pattern: Success _ _ _
      In a case alternative:
          (Success _ _ _)
            -> do putStrLn "Tests for Data.Heap.Internal:" >> Internal.runTests
                    >> putStrLn ""
                  putStrLn "Tests for Data.Heap.Item:" >> Item.runTests
                    >> putStrLn ""
                  putStrLn "Tests for Data.Heap:" >> Heap.runTests
      In a stmt of a 'do' block:
        case result of
          (Success _ _ _)
            -> do putStrLn "Tests for Data.Heap.Internal:" >> Internal.runTests
                    >> putStrLn ""
                  putStrLn "Tests for Data.Heap.Item:" >> Item.runTests
                    >> putStrLn ""
                  ....
          _ -> return ()
   |
15 |         (Success _ _ _) -> do
   |          ^^^^^^^^^^^^^

[mihaimaruseac]

It was my confusion that we're not actually building tests that are expected to fail.

Closing as there's not much we can do. The test was already broken.