Re: scratch/accurate-warning-pos: Solid progress: the branch now bootstraps.

[Yuri Khan]

On Sun, Dec 2, 2018 at 4:26 AM Paul Eggert <address@hidden> wrote:

> Yuri Khan wrote:
> > A macro that has a 'position-aware property on
> > it can be called directly on the position-annotated AST and expected
> > to use ‘eq-with-position-information’; while a legacy macro will be
> > called on a de-annotated AST, may use plain ‘eq’, and will return a
> > similarly position-oblivious AST.
>
> 2. Instead of having a bulky notation for new, position-aware macros, we could
> use a syntax that's shorter or simpler than what we have now, to make 
> new-style
> macros more appealing. For example, we could use "defmac" to define new-style
> macros, and keep "defmacro" for old ones (we can say that the trailing "ro"
> stands for "region oblivious" :-).

Yes, I was implying that the property would be set by a new
macro-defining macro or some such. The file-cookie-based idea is also
good and IIRC has been successfully used to (start to) introduce
lexical scoping.