doctests: switch to the preffered method of calling the tool
commit822d1a739edb4c101977dfab427ecc48004da29a
authorArtem Pelenitsyn <a.pelenitsyn@gmail.com>
Sat, 4 Feb 2023 18:25:36 +0000 (4 19:25 +0100)
committerMergify <37929162+mergify[bot]@users.noreply.github.com>
Wed, 15 Feb 2023 21:44:03 +0000 (15 21:44 +0000)
tree8553f9e774f0b395c33253a0a15b36813aeb96ae
parentfd09059d2893681194378d8989cbc17dd8bf910b
doctests: switch to the preffered method of calling the tool

which is `cabal repl --with-ghc=doctest`. This not only catches up with
the current upstream recommendations, but also simplifies the usage:
before this change calling doctest required you to set up an environment
with QuickCheck available (we used to do it via cabal-env). The new
method takes care of it automatically.

Also add some docs to fix #8147
.github/workflows/quick-jobs.yml
Makefile
cabal-testsuite/README.md