fixes

anoma · Nov 5, 2024 · 1967265 · 1967265
1 parent 19e2b68
commit 1967265
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/app/Commands/Isabelle.hs b/app/Commands/Isabelle.hs
@@ -23,9 +23,8 @@ translateTyped opts pkg res
           comments = res ^. resultComments
       outputDir <- fromAppPathDir (opts ^. isabelleOutputDir)
       if
-          | opts ^. isabelleStdout -> do
-              renderStdOut (ppOutDefault comments thy)
-              putStrLn ""
+          | opts ^. isabelleStdout ->
+              renderStdOutLn (ppOutDefault comments thy)
           | otherwise -> do
               ensureDir outputDir
               let file :: Path Rel File

diff --git a/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs b/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
@@ -71,8 +71,9 @@ goModule onlyTypes infoTable Internal.Module {..} =
   Theory
     { _theoryName = overNameText toIsabelleTheoryName _moduleName,
       _theoryImports =
-        map (overNameText toIsabelleTheoryName) $
-          map (^. Internal.importModuleName) (_moduleBody ^. Internal.moduleImports),
+        map
+          (overNameText toIsabelleTheoryName . (^. Internal.importModuleName))
+          (_moduleBody ^. Internal.moduleImports),
       _theoryStatements = case _modulePragmas ^. pragmasIsabelleIgnore of
         Just (PragmaIsabelleIgnore True) -> []
         _ -> concatMap goMutualBlock (_moduleBody ^. Internal.moduleStatements)