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:55:09 +0100 Message-ID: <4ECF9E3D.2090102@gmx.at> References: <87vcqqoekt.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> <83fwhc8kxy.fsf@gnu.org> <87r50wwg92.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 1322229327 8233 80.91.229.12 (25 Nov 2011 13:55:27 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 25 Nov 2011 13:55:27 +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:21 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 1RTwFN-0000V4-4B for ged-emacs-devel@m.gmane.org; Fri, 25 Nov 2011 14:55:21 +0100 Original-Received: from localhost ([::1]:36547 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RTwFM-0003AG-EB for ged-emacs-devel@m.gmane.org; Fri, 25 Nov 2011 08:55:20 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:58730) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RTwFG-000329-HI for emacs-devel@gnu.org; Fri, 25 Nov 2011 08:55:18 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RTwFE-0002yx-1p for emacs-devel@gnu.org; Fri, 25 Nov 2011 08:55:14 -0500 Original-Received: from mailout-de.gmx.net ([213.165.64.23]:52744) by eggs.gnu.org with smtp (Exim 4.71) (envelope-from ) id 1RTwFD-0002y3-Hy for emacs-devel@gnu.org; Fri, 25 Nov 2011 08:55:11 -0500 Original-Received: (qmail invoked by alias); 25 Nov 2011 13:55:10 -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 (mp057) with SMTP; 25 Nov 2011 14:55:10 +0100 X-Authenticated: #14592706 X-Provags-ID: V01U2FsdGVkX19KxB0ptZFKHI6iAA/BvT3cyV2pV1LM5IXEhMrRhv PSt0wiCYFrRku+ User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) In-Reply-To: <87r50wwg92.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.23 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:146225 Archived-At: > Quite. Lots of docstrings talk about invariants, because this is really > useful. Even something like the description of what `right-char' or > `newline' do are invariants. An invariant is a property (or a formula) that is valid when Emacs starts and is preserved by every atomic step in any execution of Emacs. The description of what a function does is not an invariant (unless you mean that the execution of Emacs leaves the description itself alone). > None of them should eschew talking about > those invariants simply because they are not atomic What is an atomic invariant? > from the POV of the Emacs core. martin