From: Paul D. <Pau...@mo...> - 2004-09-28 15:12:34
|
Marco Antoniotti wrote: > However, then I do not understand why in SBCL you need the (OR (VECTOR > NIL) (VECTOR CHARACTER)) thingy when dealing with STRING. STRING is defined to be the union of all (VECTOR FOO) types for FOO a subtype of CHARACTER. And NIL is a subtype of CHARACTER. Yeah, it's probably a spec bug. Paul |