From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: [PATCH] (icomplete-vertical-mode): Add support for affixations and, annotations Date: Tue, 25 May 2021 13:24:42 -0400 Message-ID: References: <87zgwlb4xc.fsf@gmail.com> <87eedxrqz4.fsf@mail.linkov.net> <87r1hviwrw.fsf@gmail.com> <87mtsibwjz.fsf@mail.linkov.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="22677"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: =?windows-1252?B?Sm/jbyBU4XZvcmE=?= , Daniel Mendler , emacs-devel@gnu.org To: Juri Linkov Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue May 25 19:26:47 2021 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 1llapL-0005ca-6b for ged-emacs-devel@m.gmane-mx.org; Tue, 25 May 2021 19:26:47 +0200 Original-Received: from localhost ([::1]:35162 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1llapK-0008UJ-4x for ged-emacs-devel@m.gmane-mx.org; Tue, 25 May 2021 13:26:46 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:34578) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1llanZ-0004ny-P5 for emacs-devel@gnu.org; Tue, 25 May 2021 13:24:57 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:27042) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1llanS-0003Xi-BZ for emacs-devel@gnu.org; Tue, 25 May 2021 13:24:57 -0400 Original-Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 3F88A4412C9; Tue, 25 May 2021 13:24:49 -0400 (EDT) Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 990B84412C8; Tue, 25 May 2021 13:24:43 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1621963483; bh=Jdd5A8+yZWDgchJNM/LVqJuI7oqmt7lHIfR1Vmn8ryc=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=fRDanuHcn4HYfp1TravxA5I6Lc1YgAb9wfCyLeehrnrZgHPXE+eQEBiSiR/TsBxjb e/IxxkWCuMzrCzHWcz58QqKaa47GJAv/2EeVSC0y9e31gQNoTrgPOOPfeyYGxy20tA A7Vpodu6RhpaDSAASenEWYgi17cdxBRoluHwJ7Qy1i3W6e2Y3aAYidZI58Lj31WgFo NnGhNcZ4dz3/KvHzZxewnyNodEvpN0y9h+fo4mJSblMfgpLy6luZJhI6LFWJsm7RvV u7PQCXR6mh3GDSg802fjqD316ED2tKkIQdZCEkzQUgPq/dLI4uk2n3W2znr9Vb0zOa OAjYGa9hP3bRQ== Original-Received: from alfajor (69-196-163-239.dsl.teksavvy.com [69.196.163.239]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 5FE121201B3; Tue, 25 May 2021 13:24:43 -0400 (EDT) In-Reply-To: <87mtsibwjz.fsf@mail.linkov.net> (Juri Linkov's message of "Tue, 25 May 2021 19:53:00 +0300") Received-SPF: pass client-ip=132.204.25.50; envelope-from=monnier@iro.umontreal.ca; helo=mailscanner.iro.umontreal.ca X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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" Xref: news.gmane.io gmane.emacs.devel:269867 Archived-At: > With the existing function 'display-sort-function' you can easily > add new elements to the list of completions or remove the existing > candidates. And that is not a problem in practice. Indeed. I think we should aim for an API that's easy to use correctly. If it makes incorrect uses difficult, that's good, but that shouldn't be the driving goal. If you want to make incorrect uses hard or even impossible, there are dependently typed programming languages for that ;-) Stefan