diff --git a/src/Juvix/Compiler/Concrete/Print/Base.hs b/src/Juvix/Compiler/Concrete/Print/Base.hs index 22aad7a786..cecadf2594 100644 --- a/src/Juvix/Compiler/Concrete/Print/Base.hs +++ b/src/Juvix/Compiler/Concrete/Print/Base.hs @@ -1422,9 +1422,9 @@ instance (SingI s) => PrettyPrint (Import s) where ppCode (i ^. importKw) <+> ppModulePathType (i ^. importModulePath) <+?> ppAlias - <+?> open' <+?> usingHiding' <+?> public' + <+?> open' where ppAlias :: Maybe (Sem r ()) ppAlias = case i ^. importAsName of diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix index 3ade7476bc..02507d1188 100644 --- a/tests/positive/Format.juvix +++ b/tests/positive/Format.juvix @@ -559,6 +559,10 @@ module PublicImports; axiom a : Inner.X.Y.Z.Nat; end; +module Issue3287; + import Stdlib.Prelude as E using {Nat} public open public; +end; + --- Judoc comment 0 syntax fixity aaa := binary {};