From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stephen Berman Newsgroups: gmane.emacs.devel Subject: Re: typo in accept-process-output (process.c) Date: Tue, 07 Aug 2007 13:02:05 +0200 Message-ID: <87wsw7y5ea.fsf@escher.local.home> References: <87ejiinq6b.fsf@debby.local.net> <85643u8955.fsf@lola.goethe.zz> <87vebsidzu.fsf@hariken.mwolson.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1186484621 29278 80.91.229.12 (7 Aug 2007 11:03:41 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 7 Aug 2007 11:03:41 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Aug 07 13:03:40 2007 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1IIMqd-0001ZC-BV for ged-emacs-devel@m.gmane.org; Tue, 07 Aug 2007 13:03:39 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1IIMqW-000649-8X for ged-emacs-devel@m.gmane.org; Tue, 07 Aug 2007 07:03:28 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1IIMpk-0005qE-5C for emacs-devel@gnu.org; Tue, 07 Aug 2007 07:02:40 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1IIMpg-0005pH-RV for emacs-devel@gnu.org; Tue, 07 Aug 2007 07:02:39 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1IIMpg-0005pD-GW for emacs-devel@gnu.org; Tue, 07 Aug 2007 07:02:36 -0400 Original-Received: from main.gmane.org ([80.91.229.2] helo=ciao.gmane.org) by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1IIMpe-0001LP-Hl for emacs-devel@gnu.org; Tue, 07 Aug 2007 07:02:35 -0400 Original-Received: from list by ciao.gmane.org with local (Exim 4.43) id 1IIMpK-0007oU-Sf for emacs-devel@gnu.org; Tue, 07 Aug 2007 13:02:14 +0200 Original-Received: from i577bcbcd.versanet.de ([87.123.203.205]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 07 Aug 2007 13:02:14 +0200 Original-Received: from Stephen.Berman by i577bcbcd.versanet.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 07 Aug 2007 13:02:14 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 27 Original-X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: i577bcbcd.versanet.de User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1.50 (gnu/linux) X-Detected-Kernel: Linux 2.6, seldom 2.4 (older, 4) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:76137 Archived-At: On Mon, 06 Aug 2007 16:50:45 -0400 Michael Olson wrote: > Richard Stallman writes: > >> So the job only has to be done once, what replacement will people >> be happy with? Personally, I think plain "if" would be just fine, >> except perhaps to the tediously literal-minded. >> >> In some cases, just "if" is clear. >> >> Failing that, "only if". As a last resort, "if and only if" >> (yuck). >> >> Where just "if" is not clear, you need to get creative. Find a >> rewrite which is clear. "If and only if" is ok when you need it, but >> since it is a bit longer, you might look for a better method. > > The conditionals "only if" and "if" are both unidirectional, whereas "if > and only if" is bidirectional. If you want to preserve the logic, it is > best to change "iff" to "if and only if". It's not nearly as gross as > changing the meaning would be. The logic textbook by Kalish and Montague uses "`exactly on condition that', and sometimes `just in case', as stylistic variants of `if and only if'." Steve Berman