add comment

anoma · Aug 13, 2024 · 00a2638 · 00a2638
1 parent 309d15f
commit 00a2638
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Juvix/Compiler/Store/Scoped/Data/InfoTable.hs b/src/Juvix/Compiler/Store/Scoped/Data/InfoTable.hs
@@ -26,6 +26,7 @@ data InfoTable = InfoTable
     _infoInductives :: HashMap NameId (InductiveDef 'Scoped),
     _infoConstructors :: HashMap NameId (ConstructorDef 'Scoped),
     _infoAxioms :: HashMap NameId (AxiomDef 'Scoped),
+    -- | Contains the builtins defined in itself *and* its local modules
     _infoBuiltins :: BuiltinsTable,
     _infoScoperAlias :: HashMap S.NameId PreSymbolEntry
   }