Good question - I tried doing that but it seemed not to work correctly. (I.e. unbound? doesn't return the right answer.)
On Thu, Jun 18, 2009 at 1:59 PM, Michele Simionato<[email protected]> wrote: > On Sun, Jun 14, 2009 at 10:18 PM, Abdulaziz Ghuloum<[email protected]> wrote: >> (define unbound? >> (let ([empty-ctxt (car (generate-temporaries '(t)))]) >> (lambda (id) >> (let ([unbound-id >> (datum->syntax empty-ctxt (syntax->datum id))]) >> (free-identifier=? id unbound-id))))) > > Why not just > > (define (unbound? id) > (let ([unbound-id (datum->syntax #'dummy-ctxt (syntax->datum id))]) > (free-identifier=? id unbound-id))) > > ? >
