From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Tomas Hlavaty 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: <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> <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 , emacs-devel@gnu.org To: Andrea Corallo , Adam Porter Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Feb 24 16:25:29 2024 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 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 ) 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 ) 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 ) 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." 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:316496 Archived-At: On Sat 24 Feb 2024 at 16:21, Tomas Hlavaty 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