search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
63 stars 15 forks source link

Upgrade the Setup.hs harness to use cabal-doctest. #32

Closed phadej closed 7 years ago

phadej commented 7 years ago

This upgrades the Setup.hs harness to use cabal-doctest, making it compatible with Cabal-1.25 (shipped with GHC 8.2). See ekmett/lens#709

Make sure to add a dependency on bits in the doctests test-suite to avoid phadej/cabal-doctest#5