From 5442dc84e4044ef33976053ad006e610140d1f3d Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Mon, 9 Sep 2024 13:53:31 +0200
Subject: [PATCH] fix location of scoped modulePathName

---
 .../Concrete/Translation/FromParsed/Analysis/Scoping.hs      | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
index a51525e63a..1e254786f9 100644
--- a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
+++ b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
@@ -612,7 +612,7 @@ checkImportNoPublic ::
 checkImportNoPublic import_@Import {..} = do
   massert (_importPublic == NoPublic)
   smodule <- readScopeModule import_
-  let sname :: S.TopModulePath = smodule ^. scopedModulePath
+  let sname :: S.TopModulePath = set nameConcrete _importModulePath (smodule ^. scopedModulePath)
       sname' :: S.Name = set S.nameConcrete (topModulePathToName _importModulePath) sname
       scopedModule :: ScopedModule = set scopedModuleName sname' smodule
       exportInfoOriginal = scopedModule ^. scopedModuleExportInfo
@@ -638,7 +638,8 @@ checkImportNoPublic import_@Import {..} = do
         _importAsName = qual',
         _importOpen = importOpen',
         _importUsingHiding = usingHiding',
-        ..
+        _importKw,
+        _importPublic
       }
   where
     addModuleToScope :: ScopedModule -> Sem r ()