declare type weirdness

hi,

lispworks 4.4.5, linux 2.6.11

only occurs on debug level 3.  see attached file for test case.


(compile-file "test2")
;;; Compiling file test2 ...
;;; Safety = 3, Speed = 3, Space = 1, Float = 1, Interruptible = 0
;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3
;;; Source level debugging is on
;;; Source file recording is  on
;;; Cross referencing is on
; (TOP-LEVEL-FORM 1)
; TEST1
; (TOP-LEVEL-FORM 2)
; TEST2
; (TOP-LEVEL-FORM 3)
; (TOP-LEVEL-FORM 4)
#P"/home/gj/scratch/lispworks/test2.ufsl"
NIL
NIL

CL-USER 106 > (load "test2")
; Loading fasl file /home/gj/scratch/lispworks/test2.ufsl
SIMPLE-ARRAY STANDARD-CHAR (10 10)
Error: Variable A was declared type (SIMPLE-ARRAY STANDARD-CHAR (* *))
but is being bound to value #2A((#\x #\x #\x #\x #\x #\x #\x #\x #\x
#\x) (#\x #\x #\x #\x #\x #\x #\x #\x #\x #\x) (#\x #\x #\x #\x #\x #\x
#\x #\x #\x #\x) (#\x #\x #\x #\x #\x #\x #\x #\x #\x #\x) (#\x #\x #\x
#\x #\x #\x #\x #\x #\x #\x) (#\x #\x #\x #\x #\x #\x #\x #\x #\x #\x)
(#\x #\x #\x #\x #\x #\x #\x #\x #\x #\x) (#\x #\x #\x #\x #\x #\x #\x
#\x #\x #\x) (#\x #\x #\x #\x #\x #\x #\x #\x #\x #\x) (#\x #\x #\x #\x
#\x #\x #\x #\x #\x #\x))
     1 (continue) Try loading test2 again.
     2 Give up loading test2.
     3 Try loading another file instead of test2.
     4 (abort) Return to level 0.
     5 Return to top loop level 0.