Re: feature/type-hierarchy 8a63e50036f 1/5: * Define 'cl--type-hierarchy' and compute 'cl--typeof-types' from it

[Andrea Corallo <acorallo@gnu.org>]

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

[...]

> The current table has errors.  I see for example:
>
>     (fixnum integer integer-or-marker number atom number-or-marker)
>
> where `atom` should come *after* `number-or-marker`.

Okay re-reading my code I understood that when I wrote the generator I
miss-understood (again) the intended format of `cl--typeof-types'.

Looks to me better now, this is the content on my Emacs after having
pushed 8d11b7e4275, please have a look:

((subr-primitive subr function atom)
 (subr-native-elisp subr function atom)
 (compiled-function function atom)
 (module-function function atom)
 (subr function atom)
 (byte-code-function compiled-function function atom)
 (cons list sequence)
 (null list sequence boolean symbol atom)
 (string array sequence atom)
 (char-table array sequence atom)
 (bool-vector array sequence atom)
 (vector array sequence atom)
 (symbol-with-pos symbol atom)
 (boolean symbol atom)
 (keyword symbol-with-pos symbol atom)
 (fixnum integer number number-or-marker integer-or-marker atom)
 (bignum integer number number-or-marker integer-or-marker atom)
 (number number-or-marker atom)
 (marker number-or-marker integer-or-marker atom)
 (integer number number-or-marker integer-or-marker atom)
 (float number number-or-marker atom)
 (obarray atom)
 (symbol atom)
 (number-or-marker atom)
 (integer-or-marker atom)
 (overlay atom)
 (window-configuration atom)
 (process atom)
 (window atom)
 (function atom)
 (buffer atom)
 (frame atom)
 (hash-table atom)
 (terminal atom)
 (thread atom)
 (mutex atom)
 (condvar atom)
 (font-spec atom)
 (font-entity atom)
 (font-object atom)
 (user-ptr atom)
 (tree-sitter-parser atom)
 (tree-sitter-node atom)
 (tree-sitter-compiled-query atom)
 (structure atom)
 (class atom)
 (array sequence atom)
 (list sequence)
 (atom)
 (sequence))

Also is not clear to me if 'cl--typeof-types' should include all types
or only leaf ones.  The original was inconsistent on this, this version
evidently includes all types but should be easy to generate only based
on the leaf ones if necessary.

Thanks

  Andrea