Re: issue LOAD-TIME-EVAL

[masinter.pa@Xerox.COM]

I don't think      (CONS #1=(LOAD-TIME-VALUE (COMPUTE-IT)) #1#)

is a good example; you'd do better to say, e.g.,

(defmacro cons-self (x) `(cons ,x ,x))

(cons-self (load-time-value (compute-it)))

the macro expansion of load-time-value might contain EQ structures. This is
a pretty subtle point that really has to do with macro-expansion-caching --
you'd be better off explaining what you're outlawing here.