[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:54:52 +0100
User-agent: Thunderbird (Windows/20090302)

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


reply via email to

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