effectful/doctest.sh
Andrzej Rybczak 0ef04f2fc8
Improve Labeled and add labeled versions of base effects (#228)
* Improve Labeled and add labeled versions of base effects

* Remove .VDQ modules for now

* tests

* doctest

* more doctest

* ci

* run doctest with 9.10

* run polysemy with 9.10
2024-08-22 20:59:21 +02:00

46 lines
914 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 \
-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