From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: martin rudalics Newsgroups: gmane.emacs.devel Subject: Re: Windows' "split status" Date: Fri, 25 Nov 2011 14:54:52 +0100 Message-ID: <4ECF9E2C.6010000@gmx.at> 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> <874nxsxvhd.fsf@spindle.srvr.nix> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1322229309 8065 80.91.229.12 (25 Nov 2011 13:55:09 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 25 Nov 2011 13:55:09 +0000 (UTC) Cc: Eli Zaretskii , cyd@gnu.org, monnier@iro.umontreal.ca, emacs-devel@gnu.org To: Nix Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Nov 25 14:55:04 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 1RTwF2-0000Lt-Tf for ged-emacs-devel@m.gmane.org; Fri, 25 Nov 2011 14:55:01 +0100 Original-Received: from localhost ([::1]:35410 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RTwF2-0002UY-5y for ged-emacs-devel@m.gmane.org; Fri, 25 Nov 2011 08:55:00 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:58497) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RTwEz-0002UT-62 for emacs-devel@gnu.org; Fri, 25 Nov 2011 08:54:57 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RTwEx-0002nr-6v for emacs-devel@gnu.org; Fri, 25 Nov 2011 08:54:57 -0500 Original-Received: from mailout-de.gmx.net ([213.165.64.22]:44610) by eggs.gnu.org with smtp (Exim 4.71) (envelope-from ) id 1RTwEw-0002nd-O5 for emacs-devel@gnu.org; Fri, 25 Nov 2011 08:54:55 -0500 Original-Received: (qmail invoked by alias); 25 Nov 2011 13:54:52 -0000 Original-Received: from 62-47-49-172.adsl.highway.telekom.at (EHLO [62.47.49.172]) [62.47.49.172] by mail.gmx.net (mp072) with SMTP; 25 Nov 2011 14:54:52 +0100 X-Authenticated: #14592706 X-Provags-ID: V01U2FsdGVkX19zC/Ap+0xzE5N1d4bOsnL0eCk+XFWZNBFO2bgI7+ 8AVc8dqB5FqJTx User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) In-Reply-To: <874nxsxvhd.fsf@spindle.srvr.nix> X-Y-GMX-Trusted: 0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 213.165.64.22 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:146223 Archived-At: > 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. Then why do you complain about the use of "always" in the first place? "always" (aka "globally") is the basic operator of temporal logic for proving that a property is an invariant. martin