[<<][libprim][>>][..]Sun Jan 3 21:13:12 CET 2010
The benefit of the ANF rep is that the only opcodes that create continuation frames to support nexted evaluation are `let' and `seq'. But currently the VM expects variables; constants (that also do not require evaluation) are still buffered in variables. Maybe the VM should support constants directly. If variables references can be represented in a separate type internal to the VM, this can be simplified.