[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers
From: |
Philip Kaludercic |
Subject: |
bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers |
Date: |
Mon, 14 Aug 2023 14:44:38 +0000 |
Helmut Eller <eller.helmut@gmail.com> writes:
> On Mon, Aug 14 2023, Philip Kaludercic wrote:
>
>> That being said, I agree that in cases like `char-after' the information
>> of a very specific type like that one is limited. I don't know if there
>> is a sensible heuristic to reformat the type into something like
>>
>> (function (&optional position) (or position null))
>>
>> using some kind of type aliasing, but it might be better to not
>> highlight the information so prominently?
>
> It would make sense to rewrite
> (integer -2305843009213693952 2305843009213693951)
> as fixnum.
My point is rather that the actual return value is not just any number,
but a "position" in a buffer. So even fixnum would be too general.
> Helmut
bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers, Visuwesh, 2023/08/14
- bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers, Eli Zaretskii, 2023/08/19
- bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers, Gregory Heytings, 2023/08/19
- bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers, Andrea Corallo, 2023/08/20
- Message not available
- bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers, Andrea Corallo, 2023/08/20
- bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers, Philip Kaludercic, 2023/08/20
bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers, Eli Zaretskii, 2023/08/20