Knut Olav Bøhmer <knobo@...> writes:
> Lispwoks is able to run this program. But, sbcl refuses to compile it.
> If sbcl is not willing to compile it, it must surly be no reason to have
> it as runtime check?
Er, you are using invalid syntax for your type declaration.
> (declare (symbol (arg))
This at the very least needs to be fixed. I didn't look carefully at
the rest of your program to see whether it would expose what you claim
it would expose.