On May 17, 2015 9:55 PM, "Harvey Stein" <hjstein@gmail.com> wrote:
>
> 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?
>

You have several options. Antik shadows '* (along with other mathematical symbols) and an unfortunate side effect is that it affects other uses of the symbol '* in cl. So, you can just use cl:* (i.e., put the explicit prefix in). That should always work. There is a symbol macro that defines 'antik:@ to cl:*, so using @ should work. I'm not sure if there's a way to unshadow a symbol, but you can do something like

(setf antik::*antik-user-shadow-symbols* (remove '#:* antik::*antik-user-shadow-symbols*))

and then make a new package using antik:make-user-package, which will have all the use-package and shadowed symbols except *. If you do this, be careful to use antik:* everywhere you mean Antik's multiply, otherwise it will assume cl:*.

Liam

> Thanks,
> Harvey
>
>
>
> --
> Harvey J. Stein
> hjstein@gmail.com
> http://www.linkedin.com/in/harveyjstein
> Selected papers and presentations available at: http://ssrn.com/author=732372