[racket-dev] the stepper and changes to the expansion of letrec

The expansion of letrec has changed substantially; for instance, a letrec such as 

(letrec ([a 3] [b (lambda () (b))] [c 4]) (+ a (b) c))

... now expands into three nested forms. This is going to require some fairly interesting changes to the stepper.  First, though, some questions:

1) are the definitions ever re-ordered in the process of splitting? It looks like the answer is 'no', but it's hard to guess.
2) are unused definitions ever removed? Again, it looks like the answer is 'no', but I can't be sure.

John

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4624 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110709/d5abb72b/attachment.p7s>