From eee20b1c87b585776474dfb827f3769e2b38a5b4 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Wed, 22 Jan 2025 09:49:45 +0100
Subject: [PATCH] fix prettyprinting of import statements

---
 src/Juvix/Compiler/Concrete/Print/Base.hs | 2 +-
 tests/positive/Format.juvix               | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

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 {};