Expand description
Atom identifiers and well-known atoms.
Atoms are interned to dense u32 ids at compile time. The compiler
emits the full atom table into the binary as global data; the runtime
rebuilds the same name→id map at startup so a --query goal interns
into the identical id space. Well-known atoms get FIXED ids so codegen
and runtime agree without consulting the table.
Constants§
- ATOM_
DOT - ATOM_
ERROR - ATOM_
FAIL - ATOM_
FALSE - ATOM_
NIL - Well-known atoms with fixed ids. The interner pre-seeds these in
order, so
intern("[]") == ATOM_NILalways holds. - ATOM_
TRUE - WELL_
KNOWN_ ATOMS - Names of the well-known atoms, in id order. Used by the interner to pre-seed and by tests to verify the contract.
Type Aliases§
- AtomId
- Interned atom identifier.