Re: master af0ea35ea0: Tweak how functions are formatted in Implementation in *Help*

[Stefan Monnier]

Lars Ingebrigtsen [2022-04-02 16:41:36] wrote:
> Stefan Monnier <monnier@iro.umontreal.ca> writes:
>
>>     Used internally for the (major-mode MODE) context specializers.
>>
>>     :extra "typeof" (TYPE) in ‘cl-generic.el’.
>>
>>     [...]
>>
>> The presence/absence of `cl-generic-generalizers` looks rather
>> accidental/unexplained (IOW looks like a bug to me :-)
>
> I don't think it's more confusing than before, though.  :-/

Before your recent changes it was:

    [...]

    ((SPECIALIZER (head derived-mode))) in ‘cl-generic.el’.

    Support for (derived-mode MODE) specializers.
    Used internally for the (major-mode MODE) context specializers.

    :extra "typeof" (TYPE) in ‘cl-generic.el’.

    [...]

So the text matched the part after `(cl-defmethod cl-generic-generalizers`
in the source code:

    (cl-defmethod cl-generic-generalizers ((specializer (head derived-mode))))
and
    (cl-defmethod cl-generic-generalizers :extra "typeof" (type)

Maybe a way to solve the problem is to use something like:

    [...]

    (cl-generic-generalizers (SPECIALIZER (head derived-mode))) in 
‘cl-generic.el’.

    Support for (derived-mode MODE) specializers.
    Used internally for the (major-mode MODE) context specializers.

    (cl-generic-generalizers TYPE) in ‘cl-generic.el’.
    :extra "typeof"

    [...]

Of course the `cl-generic-generalizers` is always redundant and risks
pushing the line length past the window width, which was some of the
reasons why I originally used just:

    [...]

    ((SPECIALIZER (head derived-mode))) in ‘cl-generic.el’.

    Support for (derived-mode MODE) specializers.
    Used internally for the (major-mode MODE) context specializers.

    :extra "typeof" (TYPE) in ‘cl-generic.el’.

    [...]


-- Stefan