[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Windows' "split status"

From: martin rudalics
Subject: Re: Windows' "split status"
Date: Fri, 25 Nov 2011 14:55:09 +0100
User-agent: Thunderbird (Windows/20090302)

> 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]