Expand description

The bytecode representation of Mica.

Structs

Dispatch tables for instances of builtin types. These should be constructed by the standard library.
IDs of built-in traits and their methods.
A chunk of bytecode.
A dispatch table containing functions bound to an instance of a value.
An environment containing information about declared globals, functions, vtables.
A function prototype.
The unique index of a function.
The index of a global in the global storage.
The index of a trait in an impl block.
A jump was constructed whose offset stretched too far.
The index of a method that corresponds to a signature.
The number of parameters in a method.
The signature of a method (its name, argument count, and enclosing trait).
A 24-bit integer encoding an instruction operand.
The unique index of a prototype.
The unique index of a trait.
The prototype of a trait. Contains a list of all method IDs the trait must implement.
A u32 is too big to fit in an Opr24.

Enums

The kind of an upvalue capture.
The kind of a controlling function.
The kind of the function (bytecode or FFI).
The number of parameters in a bare function.
A VM opcode.

Traits

Types that can be encoded into bytecode.

Type Definitions

The signature of a raw foreign function.