General Description

The architecture of the VM is quite simple, there are two stacks. The main stack and the call stack.

Both stacks can contain any value. Something in the stack is a "stack entry", which contains the type information and data.

Only the main stack can be used with most instructions, and putting data into the call stack requires special instructions as the system will error if someone is trying to return from a saved position in the call stack and the thing in the callstack is not a program position.