hedgehogqa / haskell-hedgehog-classes

Hedgehog will eat your typeclass bugs
BSD 3-Clause "New" or "Revised" License
57 stars 17 forks source link

Build with Hedgehog 1.2 #45

Closed ocharles closed 2 years ago

ocharles commented 2 years ago

Unfortunately just bumping the bounds isn't enough:

[ 1 of 44] Compiling Hedgehog.Classes.Common.Bottom ( src/Hedgehog/Classes/Common/Bottom.hs, dist/build/Hedgehog/Classes/Common/Bottom.o, dist/build/Hedgehog/Classes/Common/Bottom.dyn_o )
[ 2 of 44] Compiling Hedgehog.Classes.Common.Compat ( src/Hedgehog/Classes/Common/Compat.hs, dist/build/Hedgehog/Classes/Common/Compat.o, dist/build/Hedgehog/Classes/Common/Compat.dyn_o )
[ 3 of 44] Compiling Hedgehog.Classes.Common.Func ( src/Hedgehog/Classes/Common/Func.hs, dist/build/Hedgehog/Classes/Common/Func.o, dist/build/Hedgehog/Classes/Common/Func.dyn_o )
[ 4 of 44] Compiling Hedgehog.Classes.Common.ApTrans ( src/Hedgehog/Classes/Common/ApTrans.hs, dist/build/Hedgehog/Classes/Common/ApTrans.o, dist/build/Hedgehog/Classes/Common/ApTrans.dyn_o )
[ 5 of 44] Compiling Hedgehog.Classes.Common.Gen ( src/Hedgehog/Classes/Common/Gen.hs, dist/build/Hedgehog/Classes/Common/Gen.o, dist/build/Hedgehog/Classes/Common/Gen.dyn_o )
[ 6 of 44] Compiling Hedgehog.Classes.Common.Equation ( src/Hedgehog/Classes/Common/Equation.hs, dist/build/Hedgehog/Classes/Common/Equation.o, dist/build/Hedgehog/Classes/Common/Equation.dyn_o )
[ 7 of 44] Compiling Hedgehog.Classes.Common.IO ( src/Hedgehog/Classes/Common/IO.hs, dist/build/Hedgehog/Classes/Common/IO.o, dist/build/Hedgehog/Classes/Common/IO.dyn_o )
[ 8 of 44] Compiling Hedgehog.Classes.Common.PP ( src/Hedgehog/Classes/Common/PP.hs, dist/build/Hedgehog/Classes/Common/PP.o, dist/build/Hedgehog/Classes/Common/PP.dyn_o )

src/Hedgehog/Classes/Common/PP.hs:38:13: error:
    • The constructor ‘Report’ should have 5 arguments, but has been given 4
    • In the pattern: Report tests discards coverage status
      In an equation for ‘ppResult’:
          ppResult r@(Report tests discards coverage status)
            = case status of
                Failed (FailureReport size seed shrinks _mcoverage annots _mspan
                                      msg _mdiff footnotes)
                  -> let ...
                     in R.ppResult Nothing (Report tests discards coverage failure)
                _ -> R.ppResult Nothing r
   |
38 | ppResult r@(Report tests discards coverage status) = case status of
   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
chessai commented 2 years ago

I would take a PR fixing this.