git.iko.soy/effectful
on master help sign in
Include DeriveGeneric in the language stanza
4df14b2Andrzej Rybczak
.github/workflows/haskell-ci.yml+3−3
compare with master
unifiedsplit
@@ -228,11 +228,11 @@ jobs:
228 - name: doctest
228 - name: doctest
229 run: |
229 run: |
230 cd ${PKGDIR_effectful} || false
230 cd ${PKGDIR_effectful} || false
231− doctest -XBangPatterns -XConstraintKinds -XDataKinds -XDeriveFunctor -XFlexibleContexts -XFlexibleInstances -XGADTs -XGeneralizedNewtypeDeriving -XLambdaCase -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XRecordWildCards -XRoleAnnotations -XScopedTypeVariables -XStandaloneDeriving -XTupleSections -XTypeApplications -XTypeFamilies -XTypeOperators src
231+ doctest -XBangPatterns -XConstraintKinds -XDataKinds -XDeriveFunctor -XDeriveGeneric -XFlexibleContexts -XFlexibleInstances -XGADTs -XGeneralizedNewtypeDeriving -XLambdaCase -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XRecordWildCards -XRoleAnnotations -XScopedTypeVariables -XStandaloneDeriving -XTupleSections -XTypeApplications -XTypeFamilies -XTypeOperators src
232 cd ${PKGDIR_effectful_core} || false
232 cd ${PKGDIR_effectful_core} || false
233− doctest -XBangPatterns -XConstraintKinds -XDataKinds -XDeriveFunctor -XFlexibleContexts -XFlexibleInstances -XGADTs -XGeneralizedNewtypeDeriving -XLambdaCase -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XRecordWildCards -XRoleAnnotations -XScopedTypeVariables -XStandaloneDeriving -XTupleSections -XTypeApplications -XTypeFamilies -XTypeOperators src
233+ doctest -XBangPatterns -XConstraintKinds -XDataKinds -XDeriveFunctor -XDeriveGeneric -XFlexibleContexts -XFlexibleInstances -XGADTs -XGeneralizedNewtypeDeriving -XLambdaCase -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XRecordWildCards -XRoleAnnotations -XScopedTypeVariables -XStandaloneDeriving -XTupleSections -XTypeApplications -XTypeFamilies -XTypeOperators src
234 cd ${PKGDIR_effectful_core} || false
234 cd ${PKGDIR_effectful_core} || false
235− doctest -XBangPatterns -XConstraintKinds -XDataKinds -XDeriveFunctor -XFlexibleContexts -XFlexibleInstances -XGADTs -XGeneralizedNewtypeDeriving -XLambdaCase -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XRecordWildCards -XRoleAnnotations -XScopedTypeVariables -XStandaloneDeriving -XTupleSections -XTypeApplications -XTypeFamilies -XTypeOperators utils
235+ doctest -XBangPatterns -XConstraintKinds -XDataKinds -XDeriveFunctor -XDeriveGeneric -XFlexibleContexts -XFlexibleInstances -XGADTs -XGeneralizedNewtypeDeriving -XLambdaCase -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XRecordWildCards -XRoleAnnotations -XScopedTypeVariables -XStandaloneDeriving -XTupleSections -XTypeApplications -XTypeFamilies -XTypeOperators utils
236 - name: cabal check
236 - name: cabal check
237 run: |
237 run: |
238 cd ${PKGDIR_effectful} || false
238 cd ${PKGDIR_effectful} || false
doctest.sh+2−1
@@ -17,6 +17,7 @@ run_doctest() {
17 -XConstraintKinds \
17 -XConstraintKinds \
18 -XDataKinds \
18 -XDataKinds \
19 -XDeriveFunctor \
19 -XDeriveFunctor \
20+ -XDeriveGeneric \
20 -XFlexibleContexts \
21 -XFlexibleContexts \
21 -XFlexibleInstances \
22 -XFlexibleInstances \
22 -XGADTs \
23 -XGADTs \
@@ -36,5 +37,5 @@ run_doctest() {
36 popd
37 popd
37}
38}
38
39
39−run_doctest effectful src
40run_doctest effectful-core src
40run_doctest effectful-core src
41+run_doctest effectful src
effectful-core/effectful-core.cabal+1
@@ -34,6 +34,7 @@ common language
34 ConstraintKinds
34 ConstraintKinds
35 DataKinds
35 DataKinds
36 DeriveFunctor
36 DeriveFunctor
37+ DeriveGeneric
37 FlexibleContexts
38 FlexibleContexts
38 FlexibleInstances
39 FlexibleInstances
39 GADTs
40 GADTs
effectful-core/src/Effectful/Internal/Unlift.hs−1
@@ -1,4 +1,3 @@
1−{-# LANGUAGE DeriveGeneric #-}
2{-# LANGUAGE MagicHash #-}
1{-# LANGUAGE MagicHash #-}
3{-# LANGUAGE UnboxedTuples #-}
2{-# LANGUAGE UnboxedTuples #-}
4{-# OPTIONS_HADDOCK not-home #-}
3{-# OPTIONS_HADDOCK not-home #-}
effectful/effectful.cabal+1
@@ -40,6 +40,7 @@ common language
40 ConstraintKinds
40 ConstraintKinds
41 DataKinds
41 DataKinds
42 DeriveFunctor
42 DeriveFunctor
43+ DeriveGeneric
43 FlexibleContexts
44 FlexibleContexts
44 FlexibleInstances
45 FlexibleInstances
45 GADTs
46 GADTs
effectful/tests/UnliftTests.hs−1
@@ -1,4 +1,3 @@
1−{-# LANGUAGE OverloadedLabels #-}
2module UnliftTests (unliftTests) where
1module UnliftTests (unliftTests) where
3
2
4import Control.Exception
3import Control.Exception