issue EVAL-WHEN-NON-TOP-LEVEL, version 2

[Jon L White <jonl@lucid.com>]

Since we are tending towards flushing COMPILER-LET, then I favor
restricting the COMPILE situation to "toplevel" forms.  However, that
entails straightening out the mess about what really is "toplevel".  We
cannot "pass" this proposal without a satisfactory resolution of the
toplevel definition -- e.g., PROGN "passes ``top-level'' through", but
LET does not (even if the list of bound variables is null).

I'm not sure if this has been answered in subsequent mailings, but
the analysis given under the heading:
  "When an EVAL-WHEN form is processed by the compiler:"
lists two alternatives in a way that might imply they are mutually
exclusive:
    (1) If the situation COMPILE is specified:
        ...
    (2) If the situation LOAD is specified, ...
One needs to cover the case when both COMPILE and LOAD are specified.

In addition, does the compiler act differently on situation (EVAL)
than it does on situation (LOAD)?  How about (EVAL LOAD)?


-- JonL --