From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Mattias_Engdeg=C3=A5rd?= Newsgroups: gmane.emacs.devel Subject: Re: Inferred function types in the *Help* buffer Date: Thu, 1 Jun 2023 13:28:43 +0200 Message-ID: References: <83o7manh0e.fsf@gnu.org> Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="26792"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Andrea Corallo , Eli Zaretskii , emacs-devel To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Jun 01 13:36:01 2023 Return-path: Envelope-to: ged-emacs-devel@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 1q4gb3-0006mV-Ab for ged-emacs-devel@m.gmane-mx.org; Thu, 01 Jun 2023 13:36:01 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q4gaL-0000mr-6D; Thu, 01 Jun 2023 07:35:17 -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 1q4gU6-0005g5-7Y for emacs-devel@gnu.org; Thu, 01 Jun 2023 07:28:51 -0400 Original-Received: from mail-lj1-x235.google.com ([2a00:1450:4864:20::235]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q4gU4-0003Lv-3g; Thu, 01 Jun 2023 07:28:49 -0400 Original-Received: by mail-lj1-x235.google.com with SMTP id 38308e7fff4ca-2b1a46ad09fso5139141fa.2; Thu, 01 Jun 2023 04:28:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1685618925; x=1688210925; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:from:to:cc:subject :date:message-id:reply-to; bh=CFHRFbld9Xr6rhP7lY/unbMdR/1NfUuyTh1T6HoX80k=; b=RuO/1zcojvf0sprOqFohnKHp0cwtWhpc8+VGsKOyxY74gmOupH02TVUrxF3vrUYxjb M+Nkux6xCs4O3u2MkV9DOK+ibRvPa0XPoFhIUUAbwWbHey1/GzmEAqQOrsr5WS6F/dgE yMqbpccFMV173Td7aRA86C5sIKLXySGJPT6HcyyEnXnbqMdlSKpqBNE8J516rwCAAazL rnK8nf3aNaYBlfdoBOEP6SRRieRF8lQw+rvQ+8mr6v0E3ZXxjmgQqaiWtmEQDZRG7iyu mtYQo6ZTDKpgsyN2wgk5zNcdWToGBKLTw3Nsr16oB2L9KEkCvn6hFbCvBGZHJjsrgavF OPWg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1685618925; x=1688210925; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=CFHRFbld9Xr6rhP7lY/unbMdR/1NfUuyTh1T6HoX80k=; b=hMn96OBQvjArv24dwwWMpw3wjAjITS5d638dqTREHMWJ9YX1LYYYva6gmsA50mCdIV kN73LWkZfD+Du9aKg8WUklRZRQgo/1ilXa2pZEtnwj2yqvhtF/NDOa5YgID8gLDicNUD OvvtI0nf4rcyqp/0QJkK7T0ZztV34gjjRPg6AE8I5zvu7oJ7qYyRyNoW+gmHu+XmNMXA Q5sepwQf+pQYlpbmBA/U3Di0yliF5ySQasC+QgnAJm3GX8I59YRxvXv955zYasWaQLTP kNmfwRl3+kC+cpZCiFvKLlzVXOnKgI/nHBQ8pmb/j5/ug7ka0nw+jid3XkRoVogTgr6/ RMIQ== X-Gm-Message-State: AC+VfDxjozFEgdW+z75udTzfx4VOjIHvY2t/TtgCKITr+ACUni+79Xf/ LXUOzN4nM+8NknhCPspdgN0UCm7lJB8= X-Google-Smtp-Source: ACHHUZ6VS/Nl5B52yfS4ql5wOJqGfSzpYrk6KzxUFcpXE+h/dSwms5Wg+gDvBX/q4QUWl2BfpRT3Pw== X-Received: by 2002:a2e:9054:0:b0:2b1:4b28:2c46 with SMTP id n20-20020a2e9054000000b002b14b282c46mr1053698ljg.35.1685618924672; Thu, 01 Jun 2023 04:28:44 -0700 (PDT) Original-Received: from smtpclient.apple (c188-150-165-235.bredband.tele2.se. [188.150.165.235]) by smtp.gmail.com with ESMTPSA id z14-20020a2e964e000000b002ac87c15fd4sm3752969ljh.95.2023.06.01.04.28.43 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 01 Jun 2023 04:28:44 -0700 (PDT) In-Reply-To: X-Mailer: Apple Mail (2.3654.120.0.1.15) Received-SPF: pass client-ip=2a00:1450:4864:20::235; envelope-from=mattias.engdegard@gmail.com; helo=mail-lj1-x235.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Thu, 01 Jun 2023 07:35:16 -0400 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:306505 Archived-At: 31 maj 2023 kl. 14.19 skrev Andrea Corallo : >> The main reason why I'd like to move them out is not to require the = load >> of comp.el for a simple C-h f. Secondary yeah I think that if it's = in >> use outside the compilation functionality should just not live there. >=20 > Thinking about more I can't see why we should force people to load > comp.el for a simple C-h f. If this data is consumed by both comp.el > and help-fns.el it should stay in a commonly available place. Let's use a separate file for the data then, rather than subr-x.el. That = also keeps down the size of subr-x.el which is used very widely in = practice. If the information is moved into function declarations then = that new file will just go away. Another concern is whether this information is useful to display in the = help in the first place. The documentation should be authoritative; if = the symbolic type is in conflict, actually or seemingly, the user will = be confused.