Bump mrkkrp/ormolu-action from 15 to 16

.github/workflows/ci.yml

@@ -45,7 +45,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: mrkkrp/ormolu-action@v15
+      - uses: mrkkrp/ormolu-action@v16
         with:
           version: "0.7.1.0"
 

tasty-golden-executable/src/Test/Tasty/Golden/Executable.hs

@@ -33,7 +33,7 @@ makeTestTreeFromFile testOptions testSpecFile = do
   TestSpecs testSpecs <- readTestSpecsFile testSpecFile
   return
     [ someLocalOptions testOptions (singleTest (testSpecName testSpec) testSpec)
-      | testSpec <- NonEmpty.toList testSpecs
+    | testSpec <- NonEmpty.toList testSpecs
     ]
 
 -- | Create a test tree from all test specifications in a directory, recursively.

tasty-golden-executable/src/Test/Tasty/Golden/Executable/Runner.hs

@@ -398,8 +398,8 @@ acceptTestProduced testProduces (IgnoreFiles testIgnores) = do
         oldTestSpecProduces <- testSpecProduces . acceptTestSpec <$> get
         let newTestSpecProduces =
               [ testSpecProducesPattern
-                | testSpecProducesPattern <- oldTestSpecProduces,
-                  any (testSpecProducesPattern `match`) actualFiles
+              | testSpecProducesPattern <- oldTestSpecProduces,
+                any (testSpecProducesPattern `match`) actualFiles
               ]
         modify $ \acceptState@AcceptState {..} ->
           acceptState {acceptTestSpec = acceptTestSpec {testSpecProduces = newTestSpecProduces}}
@@ -450,9 +450,9 @@ findTestProducesActual testIgnoreFiles = do
   -- Filter out the files copied by 'copyTestNeeds' or matched by 'testIgnoreFiles'.
   let tempFilesProducedAndNotIgnored =
         [ file
-          | file <- tempFiles,
-            file `notElem` testNeeds,
-            and [not (ignore `match` file) | ignore <- testIgnoreFiles]
+        | file <- tempFiles,
+          file `notElem` testNeeds,
+          and [not (ignore `match` file) | ignore <- testIgnoreFiles]
         ]
   return tempFilesProducedAndNotIgnored
 

vehicle/src/Vehicle/Backend/LossFunction/Logics.hs

@@ -243,8 +243,7 @@ parameterisedYagerTranslation p =
     orOp = mkOp2 tRat $ \x y ->
       ratLit 1
         -: lmin
-          ( ((x ^: p) +: (y ^: p)) ^: (1 / p)
-          )
+          (((x ^: p) +: (y ^: p)) ^: (1 / p))
           (ratLit 1)
 
 --------------------------------------------------------------------------------

vehicle/src/Vehicle/CommandLine.hs

@@ -360,8 +360,7 @@ typeSystemParser =
                   <> line
                   <> indent
                     2
-                    ( vsep allTypeSystems
-                    )
+                    (vsep allTypeSystems)
               )
         )
       <> value Standard

vehicle/src/Vehicle/Compile/Print/Error.hs

@@ -320,7 +320,7 @@ instance MeaningfulError CompileError where
         mkRes :: [Endo (DSLExpr builtin)]
         mkRes =
           [ Endo $ \tRes -> pi Nothing (visibilityOf arg) (relevanceOf arg) (tHole ("arg" <> pack (show i))) (const tRes)
-            | (i, arg) <- zip [0 :: Int ..] args
+          | (i, arg) <- zip [0 :: Int ..] args
           ]
 
         expectedType :: Expr builtin

vehicle/src/Vehicle/Compile/Type/Constraint/LinearitySolver.hs

@@ -36,8 +36,7 @@ solveLinearityConstraint _ (WithContext constraint ctx) = do
 -- Constraint solving
 
 type MonadLinearitySolver m =
-  ( MonadTypeChecker LinearityBuiltin m
-  )
+  (MonadTypeChecker LinearityBuiltin m)
 
 type LinearitySolver =
   forall m.

vehicle/src/Vehicle/Compile/Type/Irrelevance.hs

@@ -29,8 +29,7 @@ removeIrrelevantCode x = runIdentity $ remove x
 -- Remove polarity and linearity annotations
 
 type MonadRemove m =
-  ( Monad m
-  )
+  (Monad m)
 
 class RemoveIrrelevantCode m a where
   remove :: (MonadRemove m) => a -> m a