GNU bug report logs - #22683
25.1.50; auto-composition-mode

Previous Next

Full log

Message #58 received at 22683 <at> debbugs.gnu.org (full text, mbox):

From: Rudolf Adamkovič <salutis <at> me.com>
To: Stefan Kangas <stefan <at> marxist.se>, Richard Stallman <rms <at> gnu.org>
Cc: Lars Ingebrigtsen <larsi <at> gnus.org>, 22683 <at> debbugs.gnu.org
Subject: Re: bug#22683: 25.1.50; auto-composition-mode
Date: Sun, 26 Sep 2021 22:27:55 +0200

Stefan Kangas <stefan <at> marxist.se> writes:

> It doesn't say what happens if ARG is zero, so perhaps the last 
> sentence above should be amended to say "negative number or 
> zero". 

By the law of trichotomy, every real number is either positive, 
negative, or zero. Thus, if a real number is not positive, it must 
be either negative or zero. It follows that it suffices to say:

"If called from Lisp, toggle the mode if ARG is ‘toggle’.  Enable 
the mode if ARG is nil, omitted, or is a positive number.  Disable 
the mode otherwise."

Clear and precise.

R+

-- 
Programming reliably --- must be an activity of an undeniably 
mathematical nature [...] You see, mathematics is about thinking, 
and doing mathematics is always trying to think as well as 
possible. -- Edsger W. Dijkstra (1981)  Rudolf Adamkovič 
<salutis <at> me.com> Studenohorská 25 84103 Bratislava Slovakia 
[he/him]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.