Ensure a compatible ghc version is being used for doctests

Author: neilmayhew

scripts/doctest.sh

@@ -2,8 +2,32 @@
 
 set -euo pipefail
 
-# Install doctest's Cabal integration
-cabal install doctest --flag cabal-doctest --ignore-project --overwrite-policy=always
+# Packages to run doctests for; defaults to all packages if none are specified
+PACKAGES=("$@")
+
+# Install doctest's Cabal integration, if it's not present already
+if [[ -z "$(type -t cabal-doctest)" ]]
+then
+  cabal install doctest --flag cabal-doctest --ignore-project --overwrite-policy=always
+fi
+
+# Ensure doctest and PATH are using the same ghc version
+
+getExecutablePath()
+{
+  "$1" -package-env - -e 'import System.Environment' -e 'putStrLn =<< getExecutablePath'
+}
+
+default_ghc=$(type -p ghc)
+doctest_ghc=$(doctest --info | ghc -e 'interact $ maybe "" id . lookup "ghc" . read')
+
+if [[ "$(getExecutablePath "$default_ghc")" != "$(getExecutablePath "$doctest_ghc")" ]]
+then
+  echo "Incompatible GHC's:" >&2
+  echo "  Default ghc: $(getExecutablePath "$default_ghc")" >&2
+  echo "  Doctest ghc: $(getExecutablePath "$doctest_ghc")" >&2
+  exit 1
+fi
 
 # Ensure the cabal-doctest executable can be found
 PATH=$(cabal path --installdir):$PATH
@@ -21,9 +45,10 @@ cardano-ledger-api:lib:cardano-ledger-api --build-depends=cardano-ledger-babbage
 EOF
 
 # Run the doctests for some or all packages
-cabal-targets.hs "$@" |
+cabal-targets.hs "${PACKAGES[@]}" |
 sort | join -t' ' -a1 -j1 - "$EXTRA_ARGS" |
 while read -ra ARGS
 do
+  echo "***** cabal doctest ${ARGS[0]} *****"
   cabal doctest --repl-options='-w -Wdefault' "${ARGS[@]}"
 done