[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue: PROCLAIM-SCOPE (Version 1)
- To: Jon L White <email@example.com>
- Subject: Re: Issue: PROCLAIM-SCOPE (Version 1)
- From: Masinter.pa@Xerox.COM
- Date: 2 Sep 88 17:45 PDT
- Cc: KMP@STONY-BROOK.SCRC.Symbolics.COM
- Cc: firstname.lastname@example.org
- In-reply-to: Jon L White <email@example.com>'s message of Thu, 1 Sep 88 23:06:39 PDT
A major concern is that any additions that talk about "file" should have some
reasonable semantic model; currently, the semantics of Common Lisp are described
in terms of expressions, without regard to file boundaries. I've thought that it
might be possible to talk about special "file" forms, that have translations
into things that can be typed in interactively.
Some possible models for "file" are
Assume each file is wrapped with an implicit "progn".
Assume each expression in a file is actually preceded with an implicit "(locally
Otherwise, we're left with an operational semantics that describes what things
*mean* only in terms of what LOAD or COMPILE *does*....