From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Lisp primitives and their calling of the change hooks Date: Fri, 05 Jan 2018 15:00:21 +0200 Message-ID: <83373kbguy.fsf@gnu.org> References: <20180103124543.GA5435@ACM> <20180104155111.GB6846@ACM> <20180104211154.GC6846@ACM> <838tdcbxrb.fsf@gnu.org> <20180105114107.GA6954@ACM> Reply-To: Eli Zaretskii NNTP-Posting-Host: blaine.gmane.org X-Trace: blaine.gmane.org 1515157150 31621 195.159.176.226 (5 Jan 2018 12:59:10 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 5 Jan 2018 12:59:10 +0000 (UTC) Cc: monnier@iro.umontreal.ca, emacs-devel@gnu.org To: Alan Mackenzie Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Jan 05 13:59:06 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 1eXRaO-0007dK-6M for ged-emacs-devel@m.gmane.org; Fri, 05 Jan 2018 13:59:00 +0100 Original-Received: from localhost ([::1]:38735 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eXRcN-0007KD-33 for ged-emacs-devel@m.gmane.org; Fri, 05 Jan 2018 08:01:03 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:58186) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eXRcG-0007Jc-9x for emacs-devel@gnu.org; Fri, 05 Jan 2018 08:00:57 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eXRcD-0002Ia-5j for emacs-devel@gnu.org; Fri, 05 Jan 2018 08:00:56 -0500 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:56450) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eXRcD-0002IT-2f; Fri, 05 Jan 2018 08:00:53 -0500 Original-Received: from [176.228.60.248] (port=4635 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1eXRcB-0000gE-5y; Fri, 05 Jan 2018 08:00:52 -0500 In-reply-to: <20180105114107.GA6954@ACM> (message from Alan Mackenzie on Fri, 5 Jan 2018 11:41:07 +0000) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e 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:221613 Archived-At: > Date: Fri, 5 Jan 2018 11:41:07 +0000 > Cc: monnier@iro.umontreal.ca, emacs-devel@gnu.org > From: Alan Mackenzie > > The "complex primitive" case can be distinguised from the "atomic > primitive" case because either the call to `after-change-functions' > is missing (i.e. there are two consecutive calls to > `before-change-functions'), or in the first call to > `after-change-functions', `OLD-LEN' is less then `END' - `BEG' in > `before-change-functions'. > > The above leaves unsaid what happens when a "complex primitive" happens > to call b-c-f and a-c-f as though it were an "atomic primitive". It also provides no way to know, up front, whether a given primitive I'm about to call, is one or the other. IMO, we need some way of doing that, if we want to document this distinction.