Make latex output complete (parseable)

objectionary · Dec 4, 2024 · 06ef448 · 06ef448
1 parent 9338f09
commit 06ef448
Showing 1 changed file with 13 additions and 2 deletions.
diff --git a/eo-phi-normalizer/app/Main.hs b/eo-phi-normalizer/app/Main.hs
@@ -597,7 +597,7 @@ main = withUtf8 do
           Nothing -> do
             ruleSet :: RuleSet <- decodeThrow $(embedFileRelative "test/eo/phi/rules/new.yaml")
             return (False, ruleSet.title, convertRuleNamed <$> ruleSet.rules)
-      unless (single || json || (chain && latex)) $ logStrLn ruleSetTitle
+      unless (single || json || latex) $ logStrLn ruleSetTitle
       bindingsWithDeps <- case deepMergePrograms (program' : deps) of
         Left err -> throw (CouldNotMergeDependencies err)
         Right (Program bindingsWithDeps) -> return bindingsWithDeps
@@ -647,8 +647,19 @@ main = withUtf8 do
               logStrLn [fmtTrim|{linesCombined}|]
               logStrLn "\\end{phiquation*}"
             logStrLn "\n\\end{document}"
-        | latex ->
+        | latex -> do
+            logStrLn
+              [fmtTrim|
+                % {ruleSetTitle}
+
+                \\documentclass{{article}}
+                \\usepackage{{eolang}}
+                \\begin{{document}}
+              |]
+            logStrLn "\\begin{phiquation*}"
             logStrLn . toLatexString $ logEntryLog (head (head uniqueResults))
+            logStrLn "\\end{phiquation*}"
+            logStrLn "\n\\end{document}"
         | otherwise -> do
             logStrLn "Input:"
             logStrLn (printTree program')