Restyled by fourmolu

Author: restyled-commits

src/swarm-doc/Swarm/Doc/Pedagogy.hs

@@ -137,7 +137,8 @@ isConsidered c = isUserFunc c && c `S.notMember` ignoredCommands
 -- the player did not write it explicitly in their code.
 --
 -- Also, the code from `run` is not parsed transitively yet.
-getCommands :: forall phase.
+getCommands ::
+  forall phase.
   ( Data (Anchor (ImportPhaseFor phase))
   , Data (SwarmType phase)
   , Typeable phase

src/swarm-lang/Swarm/Language/LSP.hs

@@ -22,9 +22,9 @@ import Language.LSP.Protocol.Types qualified as LSP
 import Language.LSP.Server
 import Language.LSP.VFS (VirtualFile (..), virtualFileText)
 import Swarm.Failure (SystemFailure (..))
-import Swarm.Language.Load (SyntaxWithImports (..))
 import Swarm.Language.LSP.Hover qualified as H
 import Swarm.Language.LSP.VarUsage qualified as VU
+import Swarm.Language.Load (SyntaxWithImports (..))
 import Swarm.Language.Parser.Util (getLocRange)
 import Swarm.Language.Pipeline (processSource)
 import Swarm.Language.Syntax (SrcLoc (..), eraseRaw)

src/swarm-lang/Swarm/Language/Load.hs

@@ -33,7 +33,7 @@ import Swarm.Language.Parser.Core (defaultParserConfig, importLoc)
 import Swarm.Language.Syntax (ImportPhaseFor, Phase (..), SwarmType, Syntax)
 import Swarm.Language.Syntax.Import hiding (ImportPhase (..))
 import Swarm.Language.Syntax.Import qualified as Import
-import Swarm.Language.Syntax.Util (Erasable(..), traverseSyntax)
+import Swarm.Language.Syntax.Util (Erasable (..), traverseSyntax)
 import Swarm.Language.Types (TCtx, UCtx)
 import Swarm.Util (readFileMayT)
 import Swarm.Util.Graph (findCycle)

src/swarm-lang/Swarm/Language/Parser/Value.hs

@@ -51,8 +51,9 @@ readValue ty txt = do
   -- encountered; we can't read those anyway.
   sResolved <- eitherToMaybe $ run . runError @SystemFailure $ resolve' s
   -- Now, make sure the resolved term typechecks at the given type.
-  _ <- eitherToMaybe . runError @ContextualTypeErr $
-    checkTop Ctx.empty Ctx.empty emptyTDCtx M.empty sResolved ty
+  _ <-
+    eitherToMaybe . runError @ContextualTypeErr $
+      checkTop Ctx.empty Ctx.empty emptyTDCtx M.empty sResolved ty
   -- Finally, turn the term into a value.
   toValue $ s ^. sTerm
 

src/swarm-lang/Swarm/Language/Typecheck.hs

@@ -885,19 +885,19 @@ inferTop ::
   Has (Error ContextualTypeErr) sig m =>
   TCtx -> ReqCtx -> TDCtx -> SourceMap Resolved -> Syntax Resolved -> m (SyntaxWithImports Typed)
 inferTop ctx reqCtx tdCtx srcMap =
-  fmap (uncurry SyntaxWithImports) .
-  runTC ctx reqCtx tdCtx Ctx.empty srcMap .
-  infer
+  fmap (uncurry SyntaxWithImports)
+    . runTC ctx reqCtx tdCtx Ctx.empty srcMap
+    . infer
 
 -- | Top level type checking function.
 checkTop ::
   Has (Error ContextualTypeErr) sig m =>
   TCtx -> ReqCtx -> TDCtx -> SourceMap Resolved -> Syntax Resolved -> Type -> m (SyntaxWithImports Typed)
 checkTop ctx reqCtx tdCtx srcMap t =
-  fmap (uncurry SyntaxWithImports) .
-  runTC ctx reqCtx tdCtx Ctx.empty srcMap .
-  check t .
-  toU
+  fmap (uncurry SyntaxWithImports)
+    . runTC ctx reqCtx tdCtx Ctx.empty srcMap
+    . check t
+    . toU
 
 -- | Infer the type of a term, returning a type-annotated term.
 --

src/swarm-lang/Swarm/Language/Value.hs

@@ -178,7 +178,7 @@ makeLenses ''Env
 
 -- | Create an environment which is empty except for an initial SourceMap.
 envFromSrcMap :: SourceMap Elaborated -> Env
-envFromSrcMap srcMap = emptyEnv { _envSourceMap = srcMap }
+envFromSrcMap srcMap = emptyEnv {_envSourceMap = srcMap}
 
 emptyEnv :: Env
 emptyEnv = Env Ctx.empty Ctx.empty Ctx.empty emptyTDCtx M.empty

src/swarm-tui/Swarm/TUI/Controller.hs

@@ -890,7 +890,7 @@ validateREPLForm s =
               (theType, errSrcLoc) = case readTerm' defaultParserConfig uinput of
                 Left err ->
                   let (((_y1, x1), (_y2, x2)), _msg) = showErrorPos err
-                  in (Nothing, Left (SrcLoc Nothing x1 x2))
+                   in (Nothing, Left (SrcLoc Nothing x1 x2))
                 Right Nothing -> (Nothing, Right ())
                 Right (Just theTerm) ->
                   -- Explicitly ignore REPL entries with imports,
@@ -899,15 +899,15 @@ validateREPLForm s =
                   -- be properly resolved and checked when the
                   -- user hits enter.
                   let res = run . runError @SystemFailure $ processTermNoImports uinput theTerm (Just env)
-                  in case res of
-                       Right t -> (Just (t ^. sType), Right ())
-                       Left (DoesNotTypecheck loc _) -> (Nothing, Left loc)
-                       -- Don't signal an error if the REPL entry contained an import
-                       Left (DisallowedImport _) -> (Nothing, Right ())
-                       _ -> (Nothing, Right ())
+                   in case res of
+                        Right t -> (Just (t ^. sType), Right ())
+                        Left (DoesNotTypecheck loc _) -> (Nothing, Left loc)
+                        -- Don't signal an error if the REPL entry contained an import
+                        Left (DisallowedImport _) -> (Nothing, Right ())
+                        _ -> (Nothing, Right ())
            in s
-            & uiGameplay . uiREPL . replValid .~ errSrcLoc
-            & uiGameplay . uiREPL . replType .~ theType
+                & uiGameplay . uiREPL . replValid .~ errSrcLoc
+                & uiGameplay . uiREPL . replType .~ theType
     SearchPrompt _ -> s
  where
   uinput = s ^. uiGameplay . uiREPL . replPromptText