formatter

Author: MaximilianAlgehed

.github/workflows/haskell-ci.yml

@@ -52,8 +52,12 @@ jobs:
           key: ${{ matrix.os }}-${{ matrix.ghc-version }}-${{ github.sha }}
           path: ~/.cabal/store
           restore-keys: ${{ matrix.os }}-${{ matrix.ghc-version }}-
-      - run: cabal install fourmolu-0.19.0.1
-      - run: fourmolu -c .
+      - name: install fourmolu
+        run: |
+          wget https://github.com/fourmolu/fourmolu/releases/download/v0.17.0.0/fourmolu-0.17.0.0-linux-x86_64
+          chmod +x fourmolu-0.17.0.0-linux-x86_64
+          mv fourmolu-0.17.0.0-linux-x86_64 fourmolu
+      - run: ./fourmolu -c .
       - run: cabal build all
       - run: cabal test all
       - run: cabal haddock all

quickcheck-dynamic/src/Test/QuickCheck/DynamicLogic/Internal.hs

@@ -592,9 +592,11 @@ keepTryingUntil n g p = do
 shrinkDLTest :: DynLogicModel s => DynLogic s -> DynLogicTest s -> [DynLogicTest s]
 shrinkDLTest _ (Looping _) = []
 shrinkDLTest d tc =
-  [ test | as' <- shrinkScript d (getScript tc), let pruned = pruneDLTest d as'
-                                                     test = makeTestFromPruned d pruned,
-  -- Don't shrink a non-executable test case to an executable one.
+  [ test
+  | as' <- shrinkScript d (getScript tc)
+  , let pruned = pruneDLTest d as'
+        test = makeTestFromPruned d pruned
+  , -- Don't shrink a non-executable test case to an executable one.
   case (tc, test) of
     (DLScript _, _) -> True
     (_, DLScript _) -> False
@@ -619,10 +621,10 @@ shrinkScript = shrink' initialAnnotatedState
       [TestSeqStep (unsafeCoerceVar var := act') ss | Some act'@ActionWithPolarity{} <- computeShrinkAction s act]
         ++ [ TestSeqStep step ss'
            | ss' <-
-              shrink'
-                (nextStateStep step s)
-                (stepDLStep d s step)
-                ss
+               shrink'
+                 (nextStateStep step s)
+                 (stepDLStep d s step)
+                 ss
            ]
     nonstructural _ _ TestSeqStop = []
 

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

@@ -286,7 +286,8 @@ instance Show Polarity where
   show PosPolarity = "+"
   show NegPolarity = "-"
 
-data ActionWithPolarity state a = Eq (Action state a) =>
+data ActionWithPolarity state a
+  = Eq (Action state a) =>
   ActionWithPolarity
   { polarAction :: Action state a
   , polarity :: Polarity