Re: [Sbcl-devel] odd behaviour of MAP over STRINGs

On Thu, Aug 11, 2011 at 6:07 AM, Christophe Rhodes <csr21@...> wrote:
> Anton Kovalenko <anton@...> writes:
>
>> After taking a look at the current code, I think that the best solution
>> here is to extend MAP, so if a union type of array types is given, it
>> selects the least-specialized array.
>
> least-specialized isn't terribly well-defined, though, is it? What
> about
> (map '(or bit-vector base-string) ...)?
>
> (Also, we'd need to extend MAKE-SEQUENCE, COERCE, MERGE and CONTATENATE
> in the same way; I think there is some common code to manage the type
> identification, so that's the place for the normalisation I think).
>
> I would not be opposed to a change to handle user-defined types that are
> type-equivalent to exactly STRING (and SIMPLE-STRING); I think handling
> other union types is unwise.
Handling types that are equivalent to standard types would be
sufficient for OpenAxiom needs.
-- Gaby