From 0f4c6c8bbd084b7b62e4d19e1ca012dabc196a9a Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Fri, 13 Sep 2024 19:51:36 +0200 Subject: [PATCH] fixes --- app/Commands/Isabelle.hs | 5 ++--- src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs | 5 +++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/app/Commands/Isabelle.hs b/app/Commands/Isabelle.hs index 7e34808246..26459f93f4 100644 --- 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 index a738a80bb9..ec552dd177 100644 --- 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)