Re: [Sbcl-devel] Incorrect covariance for functional types

[Stas B. <sta...@gm...>]

Why? You can't write any element into a string, that means that the code
works on vectors wouldn't work on strings.

On Thu, Oct 12, 2017 at 8:38 AM 73budden . <bud...@gm...> wrote:

> 2017-10-12 0:37 GMT+03:00, Stas Boukarev <sta...@gm...>:
> > Will you also label (subtypep 'string 'vector) => T as wrong?
> No.
>