Do not elaborate format (thanks @byorgey)

swarm-game · Aug 24, 2023 · 41527ea · 41527ea
1 parent 503f38b
commit 41527ea
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/app/Main.hs b/app/Main.hs
@@ -16,8 +16,7 @@ import Options.Applicative
 import Swarm.App (appMain)
 import Swarm.Doc.Gen (EditorType (..), GenerateDocs (..), PageAddress (..), SheetType (..), generateDocs)
 import Swarm.Language.LSP (lspMain)
-import Swarm.Language.Module (Module (..))
-import Swarm.Language.Pipeline (ProcessedTerm (..), processTerm)
+import Swarm.Language.Parse (readTerm)
 import Swarm.Language.Pretty (prettyText)
 import Swarm.TUI.Model (AppOpts (..), ColorMode (..))
 import Swarm.TUI.Model.UI (defaultInitLgTicksPerSecond)
@@ -162,12 +161,11 @@ showInput (File fp) = pack fp
 formatFile :: Input -> IO ()
 formatFile input = do
   content <- getInput input
-  case processTerm content of
+  case readTerm content of
     Right t -> do
       case t of
         Nothing -> Text.putStrLn ""
-        Just (ProcessedTerm (Module ast _mctx) _req _ctx) ->
-          Text.putStrLn $ prettyText ast
+        Just ast -> Text.putStrLn $ prettyText ast
       exitSuccess
     Left e -> do
       Text.hPutStrLn stderr $ showInput input <> ":" <> e