From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Helmut Eller Newsgroups: gmane.emacs.bugs Subject: bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers Date: Mon, 14 Aug 2023 16:25:06 +0200 Message-ID: References: <87pm3p4xjx.fsf@gmail.com> <87jztxivfl.fsf@posteo.net> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="17064"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: 65288@debbugs.gnu.org, Visuwesh To: Philip Kaludercic Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Aug 14 16:26:33 2023 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qVYWe-0004CN-Ja for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 14 Aug 2023 16:26:32 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qVYWF-0006u8-4f; Mon, 14 Aug 2023 10:26:07 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qVYWC-0006ta-82 for bug-gnu-emacs@gnu.org; Mon, 14 Aug 2023 10:26:04 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qVYWB-0006Mh-0B for bug-gnu-emacs@gnu.org; Mon, 14 Aug 2023 10:26:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qVYWA-0006uK-Fk for bug-gnu-emacs@gnu.org; Mon, 14 Aug 2023 10:26:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Helmut Eller Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 14 Aug 2023 14:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65288 X-GNU-PR-Package: emacs Original-Received: via spool by 65288-submit@debbugs.gnu.org id=B65288.169202311626500 (code B ref 65288); Mon, 14 Aug 2023 14:26:02 +0000 Original-Received: (at 65288) by debbugs.gnu.org; 14 Aug 2023 14:25:16 +0000 Original-Received: from localhost ([127.0.0.1]:34105 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qVYVP-0006tL-VP for submit@debbugs.gnu.org; Mon, 14 Aug 2023 10:25:16 -0400 Original-Received: from mail-wr1-x435.google.com ([2a00:1450:4864:20::435]:45159) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qVYVO-0006t5-5w for 65288@debbugs.gnu.org; Mon, 14 Aug 2023 10:25:14 -0400 Original-Received: by mail-wr1-x435.google.com with SMTP id ffacd0b85a97d-31792ac0fefso3740236f8f.2 for <65288@debbugs.gnu.org>; Mon, 14 Aug 2023 07:25:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1692023108; x=1692627908; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=Od44veLmn+Bwu7js1LebzhFTi2GOXtWoH6UpHhJ7y/8=; b=MDwg4OV7QDRpPQEDK9qs1nyF7yMQcHtpTzoCErqzX3SjEuKnm/2CSTm4fZxSD8Y+9T lG8K+s/Xnw7CnPUiScklmDTo9v4u3SVPV0iITt9LGoKvdUXUeXyM2r65Saj1PDgKf8R6 nnmqUD5RXWFGN/K0hRnVfABaSD0A4L48NlrAyyFsruwEKe9UYTnIdv3StUHPf/QtblLS Pu3J/bZmczwhJbpGACDdOjApfSe/y4v663W/K81QnNQkBlZaxUOWrF6VAQBr48/BuJZe ZQTcEfTsM7klhaI8f1BV65NzXfBzWYENHLFG+hj4uS31ywWluUNIe553MrQmlZa0u0p2 IFpg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1692023108; x=1692627908; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=Od44veLmn+Bwu7js1LebzhFTi2GOXtWoH6UpHhJ7y/8=; b=eG8uPBS5QBbcnZDxeX6tc4PT6mNm0G7O1wXrurlfme0TwE7LADIK3Y5FvUL7U/Dymm dIFZiXCLv7wpH0p0I6fc7/DkdcajpvkObyKTXA4SH15JwVKxzcLBL0pD7SH2N3AfnAav BzswY4T+hQHg1q1eMxq02t2hoz+NlA07NpXrfifMHIY5YnVIL2wG8EcpNAn4BTfiKhAB bP6kfQe+q75gjF5jDcQf1xHqYI6rYOOPxqzjbKGpfGHRML6Xc3unxzz8xUeqGaBRrc5e fFuWmNWhIazKD05q4GF95fX4NmdxW/lhvMzmgY/PjxaJDDXpZSxv/zsy4CVB1Fv2w+ql DkbA== X-Gm-Message-State: AOJu0YwEUL1AH1b+Hhu8LyJBQK7yl6Nb84UK7c+3/6v4OYEikx58vYoz Vlx3yyxwUpzib2KWZBoEd3q/wJn4Ghc= X-Google-Smtp-Source: AGHT+IFKgBFjJrsnJObC8bgpQZY7iKdwI5uHsw9jyRqMVIQLcS3OacOx5E7BYh+TVVXC8hOR390o6Q== X-Received: by 2002:adf:f84f:0:b0:319:7c0f:d920 with SMTP id d15-20020adff84f000000b003197c0fd920mr1330330wrq.57.1692023108035; Mon, 14 Aug 2023 07:25:08 -0700 (PDT) Original-Received: from caladan ([185.127.213.71]) by smtp.gmail.com with ESMTPSA id a2-20020a5d4d42000000b00317ca89f6c5sm14526638wru.107.2023.08.14.07.25.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 14 Aug 2023 07:25:07 -0700 (PDT) In-Reply-To: <87jztxivfl.fsf@posteo.net> (Philip Kaludercic's message of "Mon, 14 Aug 2023 13:51:26 +0000") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:267421 Archived-At: 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