effectful/doctest.sh
2024-10-06 14:59:55 +02:00

47 lines
941 B
Bash
Executable File

#!/bin/sh
#
# For this to work you need to:
#
# - Put "write-ghc-environment-files: always" in your cabal.project.local.
#
# - Compile doctest with the same GHC version the project currently uses.
#
set -eu
run_doctest() {
pushd "${1}"
doctest \
"${2}" \
-XHaskell2010 \
-XBangPatterns \
-XConstraintKinds \
-XDataKinds \
-XDeriveFunctor \
-XDeriveGeneric \
-XDerivingStrategies \
-XFlexibleContexts \
-XFlexibleInstances \
-XGADTs \
-XGeneralizedNewtypeDeriving \
-XImportQualifiedPost \
-XLambdaCase \
-XMultiParamTypeClasses \
-XNoStarIsType \
-XPolyKinds \
-XRankNTypes \
-XRecordWildCards \
-XRoleAnnotations \
-XScopedTypeVariables \
-XStandaloneDeriving \
-XTupleSections \
-XTypeApplications \
-XTypeFamilies \
-XTypeOperators
popd
}
run_doctest effectful-core src
run_doctest effectful-th src
run_doctest effectful src