print

anoma · Jun 20, 2024 · 25d0e5a · 25d0e5a
1 parent 5ebef71
commit 25d0e5a
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/Juvix/Compiler/Concrete/Print/Base.hs b/src/Juvix/Compiler/Concrete/Print/Base.hs
@@ -1160,14 +1160,15 @@ instance (SingI s) => PrettyPrint (Import s) where
   ppCode :: forall r. (Members '[ExactPrint, Reader Options] r) => Import s -> Sem r ()
   ppCode i = do
     let open' = ppCode <$> (i ^. importOpen)
+        usingHiding' = ppCode <$> i ^. importUsingHiding
+        public' = ppCode <$> i ^? importPublic . _Public
     ppCode (i ^. importKw)
       <+> ppModulePathType (i ^. importModulePath)
       <+?> ppAlias
       <+?> open'
+      <+?> usingHiding'
+      <+?> public'
     where
-      -- TODO add public
-      -- <+?> fmap ppCode (i ^? importPublic . _Public . _Just)
-
       ppAlias :: Maybe (Sem r ())
       ppAlias = case i ^. importAsName of
         Nothing -> Nothing