From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Nix Newsgroups: gmane.emacs.devel Subject: Re: Windows' "split status" Date: Fri, 25 Nov 2011 12:00:30 +0000 Message-ID: <874nxsxvhd.fsf@spindle.srvr.nix> References: <87vcqqoekt.fsf@gnu.org> <4EBD6B63.4050607@gmx.at> <87vcqq6utg.fsf@gnu.org> <4EBE4414.10009@gmx.at> <87d3cwr9hc.fsf@gnu.org> <4EBFA0AF.7000608@gmx.at> <87obwgatpy.fsf@gnu.org> <4EBFFBA5.1000309@gmx.at> <87hb26gdx8.fsf@gnu.org> <4EC213EA.4080304@gmx.at> <871ut9n2rr.fsf@gnu.org> <4EC2821C.4020400@gmx.at> <87sjlfxbg1.fsf@spindle.srvr.nix> <4ECCFFF7.1030702@gmx.at> <83ehwyagdw.fsf@gnu.org> <4ECD47BA.7020509@gmx.at> <838vn6a969.fsf@gnu.org> <4ECE15A4.1070808@gmx.at> <4ECF6CE9.2020406@gmx.at> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: dough.gmane.org 1322222464 22835 80.91.229.12 (25 Nov 2011 12:01:04 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 25 Nov 2011 12:01:04 +0000 (UTC) Cc: Eli Zaretskii , cyd@gnu.org, monnier@iro.umontreal.ca, emacs-devel@gnu.org To: martin rudalics Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Nov 25 13:00:59 2011 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RTuSh-0003W3-AK for ged-emacs-devel@m.gmane.org; Fri, 25 Nov 2011 13:00:59 +0100 Original-Received: from localhost ([::1]:51682 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RTuSg-0007mb-UY for ged-emacs-devel@m.gmane.org; Fri, 25 Nov 2011 07:00:58 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:49946) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RTuSU-0007m8-I4 for emacs-devel@gnu.org; Fri, 25 Nov 2011 07:00:57 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RTuSO-0004Qc-GL for emacs-devel@gnu.org; Fri, 25 Nov 2011 07:00:46 -0500 Original-Received: from icebox.esperi.org.uk ([81.187.191.129]:37450 helo=mail.esperi.org.uk) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RTuSN-0004PT-Oe; Fri, 25 Nov 2011 07:00:40 -0500 Original-Received: from esperi.org.uk (nix@spindle.srvr.nix [192.168.14.15]) by mail.esperi.org.uk (8.14.5/8.14.5) with ESMTP id pAPC0USc006140; Fri, 25 Nov 2011 12:00:30 GMT Original-Received: (from nix@localhost) by esperi.org.uk (8.14.5/8.14.5/Submit) id pAPC0URB007767; Fri, 25 Nov 2011 12:00:30 GMT Emacs: resistance is futile; you will be assimilated and byte-compiled. In-Reply-To: <4ECF6CE9.2020406@gmx.at> (martin rudalics's message of "Fri, 25 Nov 2011 11:24:41 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.91 (gnu/linux) X-DCC-STAT_FI_X86_64_VIRTUAL-Metrics: spindle 1245; Body=5 Fuz1=5 Fuz2=5 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 81.187.191.129 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 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-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:146216 Archived-At: On 25 Nov 2011, martin rudalics outgrape: >> Of course. But it was you who said that "always" is ambiguous, so I >> suggested a synonym that isn't. > > "always" is ambiguous because within executing `split-window-internal' > or `delete-window-internal' the property doesn't necessarily hold. Uh, why on earth would a user reading a docstring care about that? The insides of Emacs's implementation are of no interest to her. Lots of Emacs invariants don't hold while various built-in functions are executing (in fact, no invariant relying on more state than a single atomic variable can hold at all times). That doesn't mean they're any less invariants at the Lisp level. (For that matter, there are invariants that hold at the user level which do not hold at the Lisp level: they too are still invariants from the user's perspective, even if not from the Lisp programmer's.) I thought this was documentation for Lisp developers, not for Emacs maintainers. If it's for Emacs maintainers it's probably in the wrong place (though having such documentation is praiseworthy). -- NULL && (void)