Subject: Re: Two names for the same variable
From: rpw3@rpw3.org (Rob Warnock)
Date: Thu, 22 Feb 2007 23:11:54 -0600
Newsgroups: comp.lang.lisp
Message-ID: <lOCdnXlFpdcH6kPYnZ2dnUVZ_v6tnZ2d@speakeasy.net>
Vassil Nikolov  <vnikolov+usenet@pobox.com> wrote:
+---------------
| christopher.m.russell@gmail.com said:
| | I know what modification of literals does generally, but is it still
| | undefined if performed outside a loop at the REPL? The read and
| | evaluation occur directly after each other and no code is revisited.
| 
| As soon as a form is evaluated, any literals in it may be placed in
| read-only memory (perhaps as a side effect of compilation on the fly).
+---------------

A conservative reading of CLHS glossary item for "literal"
would suggest tightening that to say:

    As soon as a form is READ any literals in it may be
    placed in read-only memory...

since self-evaluating objects are also considered to be
"literal data", not just forms wrapped in QUOTE.

The "Description" section of "Special Operator QUOTE"
is consistent with this.


-Rob

-----
Rob Warnock			<rpw3@rpw3.org>
627 26th Avenue			<URL:http://rpw3.org/>
San Mateo, CA 94403		(650)572-2607