fix prettyprinting of import statements

anoma · Jan 22, 2025 · eee20b1 · eee20b1
1 parent 3601359
commit eee20b1
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git 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
@@ -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 {};