Sorry about the following fussiness -- but when this is fixed, I think it's better to fix it properly:
* The error should be a PROGRAM-ERROR, and preferably a REFERENCE-CONDITION.
* Need to make the compiler behave equivalently: the current WARNING for a misplaced DECLARE should probably be changed into a a COMPILER-ERROR -> PROGRAM-ERROR, and the expressions nested inside the DECLARE should not be compiled.
Sorry about the following fussiness -- but when this is fixed, I think it's better to fix it properly:
* The error should be a PROGRAM-ERROR, and preferably a REFERENCE- CONDITION.
* Need to make the compiler behave equivalently: the current WARNING for a misplaced DECLARE should probably be changed into a a COMPILER-ERROR -> PROGRAM-ERROR, and the expressions nested inside the DECLARE should not be compiled.
* Test-cases.