Re: Non-stack-copying call-with-current-continuation?

2012-03-02 Thread Andreas Rottmann
David Kastrup writes: > Noah Lavine writes: > >> Hello, >> >>> Sure, but things like gensym and make-prompt-tag (and (list '()) for >>> creating an eq?-unique object) are artificial hygiene coming at a cost >>> in symbol table and symbol generation time rather than "lexical" >>> hygiene.  They n

Re: Non-stack-copying call-with-current-continuation?

2012-03-02 Thread Andreas Rottmann
David Kastrup writes: > Noah Lavine writes: > >> Hello, >> >>> Sure, but things like gensym and make-prompt-tag (and (list '()) for >>> creating an eq?-unique object) are artificial hygiene coming at a cost >>> in symbol table and symbol generation time rather than "lexical" >>> hygiene.  They n

Re: [PATCH] tree-il->scheme improvements

2012-03-02 Thread Mark H Weaver
I wrote: > pad (within definition of 'syntax-case' core form) Actually, this one is clearly a bug on line 2454 of psyntax.scm. It should be #'pat instead of #'pad. Mark

Re: [PATCH] tree-il->scheme improvements

2012-03-02 Thread Mark H Weaver
I wrote: > The last patch is new. It minimizes the wraps of the embedded syntax > objects in psyntax-pp.scm, such that they can no longer be used as the > first argument to 'datum->syntax' but are otherwise equivalent. (The > resulting syntax-objects are the same as those returned by > 'locally-b

Re: Non-stack-copying call-with-current-continuation?

2012-03-02 Thread David Kastrup
Noah Lavine writes: > Hello, > >> Sure, but things like gensym and make-prompt-tag (and (list '()) for >> creating an eq?-unique object) are artificial hygiene coming at a cost >> in symbol table and symbol generation time rather than "lexical" >> hygiene.  They need _extra_ work, whereas the >>