CL:COMPILE doesn't compile Interlisp declarations #2311
Description
Interlisp supports local declarations at the top of a function, as a special kind of comment:
With this definition (FOO 1 2) returns (1 2).
If FOO is compiled by IL:COMPILE (or TCOMPL or BCOMPL or FAKE-COMPILE-FILE), the compiled function behaves the same way. There are a few function in the system (e.g. CALLSCCODE, PRINTNUM) that make use of this local-declaration feature, although I'm not sure where it is documented.
Note however that FOO cannot be compiled with CL:COMPILE (or CL:COMPILE-FILE), you get an error:
Are there other Interlisp features that CL:COMPILE can't deal with? Are there Common Lisp features that FAKE-COMPILE-FILE can't deal with? Is there a document anywhere that discusses these differences?