Does this code presume that define and syntax will always be bound at the site of the call to unbound-identifier??
On Fri, Jun 19, 2009 at 6:50 PM, Abdulaziz Ghuloum<aghul...@gmail.com> wrote: > > On Jun 19, 2009, at 2:27 AM, Derick Eddington wrote: > >> That's clever, but it's broken: > > Here's another attempt. All the (for ---) stuff is mocked up of course > just so that larceny does not throw exceptions at uses of free-id=? and > so that PLT does not mark things that are actually bound as unbound. > > Aziz,,, > > $ cat b/bound.sls b/bound-ctxt.sls > #!r6rs > (library (b bound) > (export unbound-identifier?) > (import (for (rnrs) (meta -1)) (for (b bound-ctxt) (meta -1) run)) > (define (unbound-identifier? x) > (and > (not (free-identifier=? x #'define)) > (not (free-identifier=? x #'syntax)) > (not (free-identifier=? x #'ctxt)) > (free-identifier=? x ;; for larceny, this must come last > (datum->syntax ctxt (syntax->datum x)))))) > > #!r6rs > (library (b bound-ctxt) > (export ctxt) > (import (only (rnrs) define syntax)) > (define ctxt #'here)) > > >
