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: Tue, 30 May 2023 20:14:21 +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="37252"; 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 Tue May 30 21:11:39 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 1q44kt-0009Ug-8s for ged-emacs-devel@m.gmane-mx.org; Tue, 30 May 2023 21:11:39 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q44kA-0002r7-3V; Tue, 30 May 2023 15:10:54 -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 1q43rY-0003Xi-9C for emacs-devel@gnu.org; Tue, 30 May 2023 14:14:28 -0400 Original-Received: from mail-lf1-x132.google.com ([2a00:1450:4864:20::132]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q43rW-0005wI-LM; Tue, 30 May 2023 14:14:28 -0400 Original-Received: by mail-lf1-x132.google.com with SMTP id 2adb3069b0e04-4f3b4ed6fdeso5168847e87.3; Tue, 30 May 2023 11:14:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1685470463; x=1688062463; 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=MqKL/gJX051aoXFkudruBf2pzPXgvX9F7W3ak5TjxZs=; b=kv0rpDkEs8fdI1dStJZpPDiQbx79koTfIgeXrUpuENCUWZY9zLzN/xIb+S4i6QWQt/ JNSmTXkN5qRJhBgdXjbt/z+53hOM0nYh30hKo+z+mT5eGACKL/SqB8TWfYYI8vHozfkG +Vs0xqL9PSIRoD5F4KONnjJP8U/4qVg2Ybw1JIxL7KOcUOY2gAS4Zw+eMgISsH+9+dbP OtvQZnzvsDXdreVbuZvj0aOtELcT8xksB4KvmEVBESirGsSvNkJVzUtkrWqvg3fI84X9 pA/lz44Qu9wQj8Rg2x/P/pmnFfqvOK/A1k2ABRBydSiYB3qe/YI47ll7EIJ09JyrtFvj IxcQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1685470463; x=1688062463; 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=MqKL/gJX051aoXFkudruBf2pzPXgvX9F7W3ak5TjxZs=; b=R3DpvBsdncTQGdRa0Kd+OSMnQM7A2Q90mwKZij5HJ5GjAggSRzvwMQxicXwNbzI2TX dw2eqCy9nQ7ib0YgspOgXYbp3AR8sht86YHQPSjORBUyD+EfYm3+OrJp2DrAtRdF8xf8 ClK9qTUNz0d4vQ0NTg3mQNKPihwLG9kPEtopkhJDlYsMgNi5dVH7ot7Ns/qjMYQqJutP OqluSIvxWoR4FlZvNvAE4RzZeJpx+MaZssf5CnBX2cKKoHqh7GHrngNi1KnRQP3sPwM8 wii8ZE0M+n45Subnm/0gjtOSKxiFgxtPQ/PyP8/axmtKeVDwimvT9K43epFVrOyliPYd b2gQ== X-Gm-Message-State: AC+VfDw/K5h6rns/mCxIaTOSjkVkwyyMV6ZvU1H+sDCTqLKZEinZ78r7 4QYXWdBC0do+5/3ZPzQ5U5wC0yXAJGY= X-Google-Smtp-Source: ACHHUZ7r3dEjpOgQBDcBuX7MkZXky8LXZaFx0/CvxSkvX4t5zQx4K1ObOohCzzqDhGFVRzl2jbwf4Q== X-Received: by 2002:a2e:95d9:0:b0:2af:23c0:ffe2 with SMTP id y25-20020a2e95d9000000b002af23c0ffe2mr1500198ljh.48.1685470463143; Tue, 30 May 2023 11:14:23 -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 w5-20020a2e3005000000b002ab017899e8sm2928765ljw.39.2023.05.30.11.14.22 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 30 May 2023 11:14:22 -0700 (PDT) In-Reply-To: X-Mailer: Apple Mail (2.3654.120.0.1.15) Received-SPF: pass client-ip=2a00:1450:4864:20::132; envelope-from=mattias.engdegard@gmail.com; helo=mail-lf1-x132.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: Tue, 30 May 2023 15:10:52 -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:306426 Archived-At: 30 maj 2023 kl. 18.46 skrev Andrea Corallo : > Ideally I think we should have a declare syntax and maybe an extention > to the DEFUN macro to cover for primitives as well, in order to have > these declaration where each function is defined. That would probably be a good thing in the long run, yes. There are = other declarations we would like to be able to attach to DEFUN as well. > But probably for now > something like the attached patch is sufficient and considerably less > invasive? Actually it sort of increases coupling; I'd rather it stayed in comp.el = for the time being. You could write a function (in comp.el) for access. = (Maybe comp.el should adopt the double-dash naming convention more as = well.) The data could be useful for the byte-compiler, too, but for that we = would first need to agree on exact definitions of the types to prevent = any misunderstanding. It would also need more scrutiny if code using it = for other purposes depend on it.