[plt-scheme] Stylistic (I hope!) question regarding driver loop

On Jan 23, 2006, at 10:30 AM, Robby Findler wrote:

> Instead extra non-determinitic GC steps, did you consider just  
> building
> a GC cleanup into every step? That is, when a definition is unused in
> the rhs of a step, it is just gone, right away.
>
> (that's what the letrec example I posted does, fwiw.)

No, I think you forget: I don't _have_ rules.  They're inferred from  
the evaluation of the annotated program.  So if I want GC, I have to  
call mzscheme's (collect-garbage), and make sure I have a display  
mechanism which only shows non-collected defs.

John

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2430 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20060123/3d3fbff6/attachment.p7s>