Relax some dependencies bounds (#55)

* Replace reexported type with original one

* Remove dependency on outdated test reporter

tasty-test-reporter introduces some undesirable side-effects in
dependencies bounds while bringing very low value because we don't
really have many tests to report about.

* Remove publication of test results in XML

There are only 2 tests anyway... :rolling_eyes:

* Bump versions and add changelog entry

* Check formatting in CI

* Fix formatting issue

* Update PR template to remove reference to formatting script

Author: Arnaud Bailly

.github/pull_request_template.md

@@ -1,4 +1,4 @@
 *Short description of your PR*
 
 Checklist:
-- [ ] run `fmt.sh` in the repo root directory
+- [ ] Check source-code formatting is consistent

.github/workflows/ci.yaml

@@ -41,42 +41,21 @@ jobs:
           cabal-${{ runner.os }}-${{ hashFiles('cabal.project', 'default.nix', 'shell.nix') }}
 
     - name: Prepare nix shell
-      run: 
-        nix develop --accept-flake-config --build 
+      run:
+        nix develop --accept-flake-config --build
 
     - name: Build
       run: |
         nix develop --accept-flake-config --command cabal update
         nix develop --accept-flake-config --command cabal build all --ghc-options=-Werror
 
     - name: Test
-      run: 
-        nix develop --accept-flake-config --command cabal test all --test-options "--xml=test-results.xml"
+      run:
+        nix develop --accept-flake-config --command cabal test all
 
     - name: Formatting
-      run: 
-        nix develop --accept-flake-config --command pre-commit run fourmolu
-        
-    - name: Upload build & test artifacts
-      uses: actions/upload-artifact@v2
-      with:
-        path: ./**/test-results.xml
-
-  publish-test-results:
-    name: Publish test results
-    needs: [build-test]
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v2.3.1
-      with:
-        repository: input-output-hk/quickcheck-dynamic
-
-    - uses: actions/download-artifact@v3
-
-    - name: Publish Unit Test Results
-      uses: EnricoMi/publish-unit-test-result-action@v1
-      with:
-        files: ./**/test-results.xml
+      run:
+        nix develop --accept-flake-config --command fourmolu --mode check .
 
   haddock:
     name: "Haddock & benchmarks"

quickcheck-dynamic/CHANGELOG.md

@@ -11,6 +11,10 @@ changes.
 
 * Added some lightweight negative-shrinking based on a simple dependency analysis.
 
+## 3.3.1
+
+* Adapt code to _not_ constrain [mtl](https://hackage.haskell.org/package/mtl) version too much
+
 ## 3.3.0
 
 * Added suppport for GHC 9.6.2 compiler

quickcheck-dynamic/quickcheck-dynamic.cabal

@@ -1,6 +1,6 @@
 cabal-version:      2.2
 name:               quickcheck-dynamic
-version:            3.3.0
+version:            3.3.1
 license:            Apache-2.0
 license-files:
   LICENSE
@@ -102,4 +102,3 @@ test-suite quickcheck-dynamic-test
     , stm
     , tasty
     , tasty-quickcheck
-    , tasty-test-reporter

quickcheck-dynamic/src/Test/QuickCheck/StateModel.hs

@@ -43,10 +43,11 @@ import Control.Monad
 import Control.Monad.Identity
 import Control.Monad.Reader
 import Control.Monad.State
-import Control.Monad.Writer (Endo (..), WriterT, runWriterT, tell)
+import Control.Monad.Writer (WriterT, runWriterT, tell)
 import Data.Data
 import Data.Kind
 import Data.List
+import Data.Monoid (Endo (..))
 import Data.Set qualified as Set
 import GHC.Generics
 import GHC.Stack
@@ -163,7 +164,7 @@ type instance Realized (WriterT w m) a = Realized m a
 type instance Realized Identity a = a
 
 newtype PostconditionM m a = PostconditionM {runPost :: WriterT (Endo Property, Endo Property) m a}
-  deriving (Functor, Applicative, Monad, MonadTrans)
+  deriving (Functor, Applicative, Monad)
 
 -- | Apply the property transformation to the property after evaluating
 -- the postcondition. Useful for collecting statistics while avoiding

quickcheck-dynamic/test/Spec.hs

@@ -4,10 +4,9 @@ module Main (main) where
 
 import Spec.DynamicLogic.RegistryModel qualified
 import Test.Tasty
-import Test.Tasty.Runners.Reporter qualified as Reporter
 
 main :: IO ()
-main = defaultMainWithIngredients [Reporter.ingredient] tests
+main = defaultMain tests
 
 tests :: TestTree
 tests =