test

anoma · Aug 13, 2024 · 24aa98b · 24aa98b
1 parent 00a2638
commit 24aa98b
Showing 1 changed file with 10 additions and 7 deletions.
diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
@@ -1783,14 +1783,17 @@ checkLocalModule ::
   Module 'Parsed 'ModuleLocal ->
   Sem r (Module 'Scoped 'ModuleLocal)
 checkLocalModule md@Module {..} = do
-  tab1 <- ask @InfoTable
-  tab2 <- getInfoTable
+  -- tab1 <- ask @InfoTable
+  -- tab2 <- getInfoTable
   (tab, (moduleExportInfo, moduleBody', moduleDoc')) <-
-    withLocalScope $ runReader (tab1 <> tab2) $ runInfoTableBuilder mempty $ do
-      inheritScope
-      (e, b) <- checkModuleBody _moduleBody
-      doc' <- mapM checkJudoc _moduleDoc
-      return (e, b, doc')
+    withLocalScope
+      -- . runReader (tab1 <> tab2)
+      . runInfoTableBuilder mempty
+      $ do
+        inheritScope
+        (e, b) <- checkModuleBody _moduleBody
+        doc' <- mapM checkJudoc _moduleDoc
+        return (e, b, doc')
   _modulePath' <- reserveLocalModuleSymbol _modulePath
   localModules <- getLocalModules moduleExportInfo
   let mid = _modulePath' ^. S.nameId