From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Tomas Hlavaty <tom@logand.com>
Newsgroups: gmane.emacs.devel
Subject: Re: Declaring Lisp function types
Date: Sat, 24 Feb 2024 16:24:34 +0100
Message-ID: <87r0h1ubpp.fsf@neko.mail-host-address-is-not-set>
References: <yp15xyf88yb.fsf@fencepost.gnu.org>
 <389657c1-3bc5-4577-82a1-df4244ed5d58@alphapapa.net>
 <86v86ez6af.fsf@gnu.org>
 <87y1baz1i0.fsf@neko.mail-host-address-is-not-set>
 <2827f3df-8eb2-431e-8491-f772e988474a@alphapapa.net>
 <yp1sf1i6wq7.fsf@fencepost.gnu.org>
 <87y1b9uc7f.fsf@neko.mail-host-address-is-not-set>
 <87v86dubvf.fsf@neko.mail-host-address-is-not-set>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="31347"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: Eli Zaretskii <eliz@gnu.org>, emacs-devel@gnu.org
To: Andrea Corallo <acorallo@gnu.org>,
	Adam Porter <adam@alphapapa.net>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Feb 24 16:25:29 2024
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
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 <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1rdtu4-0007yU-Qi
	for ged-emacs-devel@m.gmane-mx.org; Sat, 24 Feb 2024 16:25:28 +0100
Original-Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-devel-bounces@gnu.org>)
	id 1rdttK-000886-NX; Sat, 24 Feb 2024 10:24:42 -0500
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 <tom@logand.com>) id 1rdttI-00087q-VH
 for emacs-devel@gnu.org; Sat, 24 Feb 2024 10:24:40 -0500
Original-Received: from logand.com ([37.48.87.44])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <tom@logand.com>)
 id 1rdttG-0001bB-7l; Sat, 24 Feb 2024 10:24:40 -0500
Original-Received: by logand.com (Postfix, from userid 1001)
 id E5BE619E83F; Sat, 24 Feb 2024 16:24:35 +0100 (CET)
X-Mailer: emacs 28.2 (via feedmail 11-beta-1 I)
In-Reply-To: <87v86dubvf.fsf@neko.mail-host-address-is-not-set>
Received-SPF: pass client-ip=37.48.87.44; envelope-from=tom@logand.com;
 helo=logand.com
X-Spam_score_int: -18
X-Spam_score: -1.9
X-Spam_bar: -
X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=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:316496
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/316496>

On Sat 24 Feb 2024 at 16:21, Tomas Hlavaty <tom@logand.com> wrote:
> your aproach will miss cases

the reason is that your approach is context sensitive and you assume
very specific context and miss whole lot of other possibilities

in general, introducing context where none is necessary is a bad idea