Re: master 1d9d07fb00e 3/3: (cl--typeof-types): Rework to fix some regressions

[Andrea Corallo <acorallo@gnu.org>]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

>> Okay I pushed the changes to render all preloaded types.
>
> Thanks.
>
> It needs a bit more work, I think: `ppss` is marked as being a subtype
> of `atom` but it's a subtype of `list`.  That probably affects all the
> defstructs declared with (:type list), and arguably for those declared
> with (:type array) the supertype should be `array` rather than `atom`.
> [ One could also argue that they shouldn't be in there at all because we
>   can't actually recognize those objects as being of that type, but
>   maybe it's OK to keep them.  ]

Yes I believe this affects the compiler as well.  I'd like to fix it, I
just have to find some time to read some cl- code to understand how to
distinguish them, the patch should be easy.

Thanks

  Andrea