Structs§
- Compile
Checkpoint - A checkpoint of the tables a compile attempt grows as it goes, taken by
State::checkpointand undone byState::rollback_towhen the attempt ends in a diagnostic. - Ctx
- Dynamic
LibFn - Dynamiclib
- Enum
Type - A native tagged-union enum type. Its values are stored in the object pool
like structs: element 0 of the pool entry is the variant tag (an int index
into
variants), and elements1..are the variant’s payload in order. - Enum
Variant - Error
Catch - FnGenerics
- The generic side of a function: what its annotations mean once the type parameters are known.
- FnSignature
- FnValue
Set - The functions one variable holding a function value may hold.
- Function
- Function
Impl - Host
FnSig - Marshalling signature for a
hostfunction, indexed by the compiler’sFnSignature::id.types[0]is the return type;types[1..]are the argument types. - Indirect
Registers - The registers an indirect call passes its arguments and the callee’s environment in.
- Instr
Src - Named
Type - A
DataTypetogether with the tables that name its structs and enums, as produced byTypeNames::of. - Pools
- Source
- State
- Struct
- Type
Codes - Up to eight type codes, held by value so a
Ctxcan carry them. - Type
Names - The type tables a message needs to call a user type by the name the program gave it.
- Variable
Enums§
- Return
Check - How a
returnchecks ananyvalue against the declared return type.