In system 27.7, with microcode 663, on LISP Machine Three: After PACKAGE-DECLARE prompted me for whether I wanted a file compiled and I said Yes, it "compiled" the file all right, but the definitions written on the QFASL file were the interpreted ones, not the compiled ones!