Re: Issue PROCLAIM-ETC-IN-COMPILE-FILE

["Steve Bacher (Batchman)" <SEB1525@draper.com>]

>From: David N Gray <Gray@dsg.csc.ti.COM>
>Subject: Re: Issue PROCLAIM-ETC-IN-COMPILE-FILE
>To: "Steve Bacher (Batchman)" <SEB1525@DRAPER.COM>
>Cc: cl-compiler@sail.stanford.EDU
>
>>	...	 It makes me wonder whether we
>> > should just permit top-level DECLAREs, but then _it_ would need special
>> > handling by the compiler since a macro definition would confuse the
>> > semantics of local declarations, so you don't win.
>> 
>> I don't understand the last sentence.  What kind of macro definition?
>> Can you give an example? 
>
>I just meant that we don't want to define DECLARE as a macro, and that
>having a special form that is treated specially by the compiler at top
>level doesn't seen any better than a function that is treated specially.


Well, aren't PROGN and EVAL-WHEN special forms that are treated specially
by the compiler?  Better a special form than a function, no?