From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Lisp primitives and their calling of the change hooks Date: Mon, 08 Jan 2018 17:24:14 -0500 Message-ID: References: <20180107120859.GB22254@ACM> <20180107135629.GC22254@ACM> <83mv1p8vki.fsf@gnu.org> <83bmi58sao.fsf@gnu.org> <20180107194845.GE22254@ACM> <838td98mqe.fsf@gnu.org> <20180107211055.GF22254@ACM> <837est81bl.fsf@gnu.org> <20180108192415.GA5531@ACM> <83h8rw6oio.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1515450158 9080 195.159.176.226 (8 Jan 2018 22:22:38 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 8 Jan 2018 22:22:38 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: Alan Mackenzie , emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jan 08 23:22:33 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eYfoI-0001cz-MP for ged-emacs-devel@m.gmane.org; Mon, 08 Jan 2018 23:22:26 +0100 Original-Received: from localhost ([::1]:34792 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eYfqH-0006WE-Si for ged-emacs-devel@m.gmane.org; Mon, 08 Jan 2018 17:24:29 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39186) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eYfq8-0006V5-Hf for emacs-devel@gnu.org; Mon, 08 Jan 2018 17:24:21 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eYfq7-0000t5-Mz for emacs-devel@gnu.org; Mon, 08 Jan 2018 17:24:20 -0500 Original-Received: from pmta11.teksavvy.com ([76.10.157.34]:62052) by eggs.gnu.org with esmtps (TLS1.0:RSA_ARCFOUR_SHA1:16) (Exim 4.71) (envelope-from ) id 1eYfq3-0000rZ-MA; Mon, 08 Jan 2018 17:24:15 -0500 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A2GSewBG7lNa/yyKSC1dHgEGDIM/gVqJS?= =?us-ascii?q?YR6jnSCApk/hUUChDZEEwEBAQEBAQEBAQNoKIUlAQQBeQULCw0nEhQYMYo8CLB?= =?us-ascii?q?kIQKKFwEBAQcCJoQgghWGbYsaBZM5kCWXPIoQKIdTmFM3IoFQMhoIMIJohHQji?= =?us-ascii?q?yoBAQE?= X-IPAS-Result: =?us-ascii?q?A2GSewBG7lNa/yyKSC1dHgEGDIM/gVqJSYR6jnSCApk/hUU?= =?us-ascii?q?ChDZEEwEBAQEBAQEBAQNoKIUlAQQBeQULCw0nEhQYMYo8CLBkIQKKFwEBAQcCJ?= =?us-ascii?q?oQgghWGbYsaBZM5kCWXPIoQKIdTmFM3IoFQMhoIMIJohHQjiyoBAQE?= X-IronPort-AV: E=Sophos;i="5.46,332,1511845200"; d="scan'208";a="17669072" Original-Received: from unknown (HELO pastel.home) ([45.72.138.44]) by smtp.teksavvy.com with ESMTP; 08 Jan 2018 17:24:14 -0500 Original-Received: by pastel.home (Postfix, from userid 20848) id CA7F56080A; Mon, 8 Jan 2018 17:24:14 -0500 (EST) In-Reply-To: <83h8rw6oio.fsf@gnu.org> (Eli Zaretskii's message of "Mon, 08 Jan 2018 23:15:11 +0200") X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 76.10.157.34 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:221734 Archived-At: > What do other primitives do when there's an error? They follow the same rules, AFAIK (e.g. they may for example call b-c-f and nothing else if no modifications were performed). > Up front, I see no reason to keep any promises when that happens. We should still obey the general rules about b-c-f and a-c-f. >> The (1 22016) b-c-f is thus unbalanced when this happens. > If this is really important (and I don't see why it would be), Indeed, it doesn't look like a problem. > Is implementation convenience the only argument for Stefan's variant? Not just convenience but also "obviously correct", i.e. more maintainable. Stefan