Consider the following function:

(defun afunction (a)
  (declare (type (simple-array  double-float (*)) a))
  a)

It compiles fine in cl-user, but if I'm in antik-user, I get:


; in: DEFUN AFUNCTION
;     (TYPE (SIMPLE-ARRAY DOUBLE-FLOAT (ANTIK:*)) ANTIK:A)
;
; caught ERROR:
;   bad dimension in array type: *
;
; compilation unit finished
;   caught 1 ERROR condition

So, the antik definition of * breaks declarations that use *.

Any way to fix this?

Thanks,
Harvey