Re: mark uniqueness

2012-01-25 Thread Andy Wingo
On Wed 25 Jan 2012 01:26, Mark H Weaver writes: > Andy Wingo writes: > >> (define-syntax-rule (define-const x val) >> (begin >> (define t val) >> (define-syntax x (identifier-syntax t >> >> Here, `t' will have a fresh mark. >> >> Now, if in one compilation unit, I do: >> >>

Re: mark uniqueness

2012-01-24 Thread Mark H Weaver
Andy Wingo writes: > (define-syntax-rule (define-const x val) > (begin > (define t val) > (define-syntax x (identifier-syntax t > > Here, `t' will have a fresh mark. > > Now, if in one compilation unit, I do: > > (define-const x 10) > > And in another, I do: > > (let ((t

mark uniqueness (Was: Re: syntax-local-binding)

2012-01-24 Thread Andy Wingo
On Tue 24 Jan 2012 14:25, Mark H Weaver writes: > I don't see why we need universally-unique gensyms > I've already explained why they are not needed > for macros compiled in another session. Ah, I forgot to reply to that. I found it: On Mon 16 Jan 2012 14:28, Mark H Weaver writes: > The rea