fix judoc scoping

anoma · Dec 20, 2023 · e91cbe0 · e91cbe0
1 parent f7057b0
commit e91cbe0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
@@ -1066,9 +1066,9 @@ checkTopModule m@Module {..} = checkedModule
       (tab, (e, body', path', doc')) <- evalState iniScope $ runInfoTableBuilder mempty $ do
         path' <- freshTopModulePath
         withTopScope $ do
+          (e, body') <- topBindings (checkModuleBody _moduleBody)
           doc' <- mapM checkJudoc _moduleDoc
           registerModuleDoc (path' ^. S.nameId) doc'
-          (e, body') <- topBindings (checkModuleBody _moduleBody)
           return (e, body', path', doc')
       localModules <- getLocalModules e
       let md =