[<<][libprim][>>][..]
Fri Jan 29 08:16:17 CET 2010

ANF: let* code

Assuming (begin a b) -> (let* ((_ a)) b)

The VM code is essentially a vector of non-tail calls, and a tail expression.

(let* ((v1 (e1 ...))
       (v2 (e2 ...))
       ...)
  (t ...))

The context needs to be saved whenever an (e_ ...) is a non-primitive.
      


[Reply][About]
[<<][libprim][>>][..]