[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: |
Helmut Eller |
Subject: |
bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers |
Date: |
Mon, 14 Aug 2023 16:25:06 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
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.
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