GNU bug report logs - #65288
30.0.50; Make Type: annotation optional in *Help* buffers

Previous Next

Full log

View this message in rfc822 format

From: Philip Kaludercic <philipk <at> posteo.net>
To: Helmut Eller <eller.helmut <at> gmail.com>
Cc: 65288 <at> debbugs.gnu.org, Visuwesh <visuweshm <at> gmail.com>
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 <at> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.