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

[Andrea Corallo]

Andrea Corallo <acorallo@gnu.org> writes:

> Stefan Monnier <monnier@iro.umontreal.ca> writes:
>
>>> I see, ATM in objects.texi we have before the DAG "The Lisp Type
>>> Hierarchy for primitive types can be represented as follows:".
>>
>> Oh, of course, I knew that [ he said, fumbling wildly.  ]
>>
>>> For "primitive types" I meant types which comes to the user preloaded.
>>> Anyway I think we have either to change the doc or the DAG to be
>>> coherent.
>>
>> Yeah, `transient-*` definitely doesn't count as "primitive types".
>> And neither do `xref-elisp-location` and `frameset-register`.
>>
>>> In the manual I'd personally expect to see only the primitive
>>> (preloaded/predefined?) types, but maybe it's just me.
>>
>> The types I manually listed in `syncdoc-type-hierarchy.el` can be
>> removed (or changed) at will.  I don't have a strong opinion about them.
>>
>>> This leads me
>>> wondering if syncdoc-type-hierarchy.el shouldn't automatically render
>>> the DAG using all types of an emacs -Q using like to
>>> 'comp--compute-typeof-types' to pick all types defined ATM.  It would be
>>> less arbitrary but maybe too verbose?
>>
>> It would still be fairly arbitrary, IMO, but easier to justify :-)
>> We'd probably want to weed out some of the internal types that could
>> show up, tho.
>
> Agree. Okay I'll try to produce something with the preloaded types and
> we'll see how it looks.

Okay I pushed the changes to render all preloaded types.  I let you
tweak the output if you feel.

Thanks

  Andrea