Re: "Bringing GNU Emacs to Native Code" at the European Lisp Symposium

[Stefan Monnier]

> It's a lot clearer to just say that your work
> assumes a non-nil value of that variable (and
> there's nothing wrong with that), than it is to
> either (1) hope that someone guesses what you
> mean by the lexical Elisp dialect or (2) expect
> that a reader will consult Sect 8.1 of Stefan's
> paper and figure out what you mean from that.

Or rather that this detail is mostly irrelevant in the context of his
paper.  For the same reason his paper doesn't explain how buffer-local
variables interact with dynamic scoping or a myriad of other details of
Elisp's semantics.


        Stefan


PS: Since his compiler takes the bytecode as input, it's largely
agnostic to the source's scoping rules.  I don't even know what makes
his code currently only work for Elisp/l and not Elisp/d.  It's most
likely a minor technical detail.