fourmolu

runtimeverification · Jul 11, 2023 · 455a6a8 · 455a6a8
1 parent 3b8806a
commit 455a6a8
Showing 1 changed file with 11 additions and 10 deletions.
diff --git a/library/Booster/Pattern/Rewrite.hs b/library/Booster/Pattern/Rewrite.hs
@@ -479,7 +479,7 @@ performRewrite doTracing def mLlvmLibrary mbMaxDepth cutLabels terminalLabels pa
         RewriteBranch p nexts -> do
             p' <- simplifyP p
             let simplifyP3rd (a, b, c) =
-                    maybe Nothing (Just . (a, b,)) <$> simplifyP c
+                    maybe Nothing (Just . (a,b,)) <$> simplifyP c
             nexts' <- catMaybes <$> mapM simplifyP3rd (toList nexts)
             pure $ case (p', nexts') of
                 (Nothing, _) -> RewriteStuck pat
@@ -514,7 +514,8 @@ performRewrite doTracing def mLlvmLibrary mbMaxDepth cutLabels terminalLabels pa
                         pretty $ "Reached maximum depth of " <> maybe "?" showCounter mbMaxDepth
                 logRewrite $ pack $ renderDefault $ showPattern title pat'
                 (if wasSimplified then pure else simplifyResult) $ RewriteFinished Nothing Nothing pat'
-            else runRewriteT doTracing def mLlvmLibrary (rewriteStep cutLabels terminalLabels pat') >>= \case
+            else
+                runRewriteT doTracing def mLlvmLibrary (rewriteStep cutLabels terminalLabels pat') >>= \case
                     Right (RewriteFinished mlbl uniqueId single) -> do
                         whenJust mlbl $ \lbl ->
                             rewriteTrace $ RewriteSingleStep lbl uniqueId pat' single
@@ -579,11 +580,11 @@ performRewrite doTracing def mLlvmLibrary mbMaxDepth cutLabels terminalLabels pa
                             then logRewrite msg >> pure (RewriteAborted pat')
                             else withSimplified pat' msg (pure . RewriteAborted)
       where
-          withSimplified p msg cont = do
-              simplifyP p >>= \case
-                  Nothing -> do
-                      logRewrite "Rewrite stuck after simplification."
-                      pure $ RewriteStuck p
-                  Just simplifiedPat -> do
-                      logRewrite msg
-                      cont simplifiedPat
+        withSimplified p msg cont = do
+            simplifyP p >>= \case
+                Nothing -> do
+                    logRewrite "Rewrite stuck after simplification."
+                    pure $ RewriteStuck p
+                Just simplifiedPat -> do
+                    logRewrite msg
+                    cont simplifiedPat