From ef34e350606eb014afac4ac73e062880a6e38ac5 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Fri, 20 Oct 2023 10:43:09 +0200
Subject: [PATCH] show import with public keyword in the html doc

---
 src/Juvix/Compiler/Backend/Html/Translation/FromTyped.hs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/Juvix/Compiler/Backend/Html/Translation/FromTyped.hs b/src/Juvix/Compiler/Backend/Html/Translation/FromTyped.hs
index 9e2d1d4a71..6df563c758 100644
--- a/src/Juvix/Compiler/Backend/Html/Translation/FromTyped.hs
+++ b/src/Juvix/Compiler/Backend/Html/Translation/FromTyped.hs
@@ -431,7 +431,7 @@ goStatement = \case
   StatementOpenModule t -> goOpen t
   StatementFunctionDef t -> goFunctionDef t
   StatementSyntax s -> goSyntax s
-  StatementImport {} -> mempty
+  StatementImport s -> goImport s
   StatementModule m -> goLocalModule m
   StatementProjectionDef {} -> mempty
   where
@@ -507,6 +507,11 @@ goLocalModule def = fmap (fromMaybe mempty) . runFail $ do
       <$> mconcatMap goStatement (def ^. moduleBody)
   return (header' <> body')
 
+goImport :: forall r. (Members '[Reader HtmlOptions] r) => Import 'Scoped -> Sem r Html
+goImport op
+  | Just Public <- op ^? importOpen . _Just . openPublic = noDefHeader <$> ppCodeHtml defaultOptions op
+  | otherwise = mempty
+
 goOpen :: forall r. (Members '[Reader HtmlOptions] r) => OpenModule 'Scoped -> Sem r Html
 goOpen op
   | Public <- op ^. openModuleParams . openPublic = noDefHeader <$> ppCodeHtml defaultOptions op