L2Simple_Run
Invoke a primitive which is infallible for the given arguments, and does not invoke, suspend, or switch continuations. I.e., it will run to completion and return some value (possibly nil).
The call from which this is distilled must have an expectedType no stronger than the type that the primitive is guaranteed to produce for these arguments. If the expectedType is too strong for this primitive's guarantees (due to a semantic restriction), an L2Simple_Invoke must be generated instead.
Constructors
Functions
Generate a suitable print representation of the value.
A previously constructed continuation is being resumed in some way, and the instruction just before the continuation's L2 offset has been asked to do anything specific to reentering the continuation. For example, a method call might be forced to reify the stack, but at resumption time (i.e., when "returning" into it), it will still need to check the type of the "returned" value against the expected type.
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.