Symbol/String information propagation

[KMP at MIT-MC (Kent M. Pitman)]

(EVAL-WHEN (EVAL COMPILE) (SSTATUS MACRO /" '+INTERNAL-/"-MACRO))
(DEFUN (FOO MACRO) (()) "Foo String")
---Different File, Different Compiler---
(EVAL-WHEN (EVAL COMPILE) (LOAD '(AFOREMENTIONED FILE)))
(DEFUN BAR () (FOO))

Gives a COMPLR diagnostic:
(COMMENT ****  |Foo String| Undeclared - taken as SPECIAL in function BAR)