L2Simple_General
Extract arguments from registers[stackp], registersstackp-1.. registers[stackp-N+1], and use them to look up a method definition in a polymorphic method. If the lookup is successful, invoke that function, otherwise invoke the AvailRuntime.invalidMessageSendFunction with suitably packaged arguments and the lookup failure code.
Constructors
Functions
Generate a suitable print representation of the value.
A VariableGetException has occurred. Invoke the READ_UNASSIGNED_VARIABLE hook function, which, because it is ⊥-valued, can only reify. Eventually answer that StackReifier.
A VariableSetException has occurred. Run the implicit-observe handler, and answer null if it completes, or a suitable StackReifier if it eventually reifies.
This is called when the invocation for this step had to reify, and now we've finished the actual Avail call and we're attempting to continue where we left off. We have to check the returned value and either capture it on the stack or invoke the result check failure function.
Perform this instruction, a single step of an L2SimpleChunk. The mutable Array of AvailObjects acts as a simple set of registers. Element 0 is the current function, and the remaining elements correspond with the continuation slots, should one need to be constructed.