From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: Stefan Monnier <monnier@iro.umontreal.ca>
Newsgroups: gmane.emacs.devel
Subject: Re: propose: dired-isearch.el --- isearch in Dired
Date: Wed, 08 Aug 2007 09:01:01 -0400
Message-ID: <jwvsl6ui3qs.fsf-monnier+emacs@gnu.org>
References: <874pjaiv45.fsf@gmail.com> <buo1weeo2zr.fsf@dhapc248.dev.necel.com>
NNTP-Posting-Host: lo.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: sea.gmane.org 1186578084 22203 80.91.229.12 (8 Aug 2007 13:01:24 GMT)
X-Complaints-To: usenet@sea.gmane.org
NNTP-Posting-Date: Wed, 8 Aug 2007 13:01:24 +0000 (UTC)
Cc: emacs-devel@gnu.org
To: Miles Bader <miles@gnu.org>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Aug 08 15:01:21 2007
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
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 1IIlA7-0005GY-Ng
	for ged-emacs-devel@m.gmane.org; Wed, 08 Aug 2007 15:01:19 +0200
Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43)
	id 1IIlA6-00022P-M0
	for ged-emacs-devel@m.gmane.org; Wed, 08 Aug 2007 09:01:18 -0400
Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1IIl9y-00020B-7K
	for emacs-devel@gnu.org; Wed, 08 Aug 2007 09:01:10 -0400
Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1IIl9w-0001yh-9D
	for emacs-devel@gnu.org; Wed, 08 Aug 2007 09:01:09 -0400
Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1IIl9w-0001yQ-10
	for emacs-devel@gnu.org; Wed, 08 Aug 2007 09:01:08 -0400
Original-Received: from bc.sympatico.ca ([209.226.175.184]
	helo=tomts22-srv.bellnexxia.net)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <monnier@iro.umontreal.ca>)
	id 1IIl9q-0008Al-PE; Wed, 08 Aug 2007 09:01:02 -0400
Original-Received: from pastel.home ([70.53.193.128]) by tomts22-srv.bellnexxia.net
	(InterMail vM.5.01.06.13 201-253-122-130-113-20050324) with ESMTP
	id <20070808130101.LDOB18413.tomts22-srv.bellnexxia.net@pastel.home>;
	Wed, 8 Aug 2007 09:01:01 -0400
Original-Received: by pastel.home (Postfix, from userid 20848)
	id 3C867856D; Wed,  8 Aug 2007 09:01:00 -0400 (EDT)
In-Reply-To: <buo1weeo2zr.fsf@dhapc248.dev.necel.com> (Miles Bader's message
	of "Wed\, 08 Aug 2007 17\:16\:24 +0900")
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1.50 (gnu/linux)
X-Detected-Kernel: Solaris 8 (1)
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <http://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/pipermail/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <http://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=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:76196
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/76196>

>    (let ((V ...))
>      (catch 'return
>        (while V
> 	 (when COND
> 	   (throw 'return V))
> 	 (setq V ...))))

> =>

>    (let ((V ...))
>      (while (and V (not COND))
>        (setq V ...))
>      V)

Another one:

   (let ((X EXP))
     (while C
       BODY
       (setq X EXP))
     TAIL)
   
   =>
   
   (let (X)
     (while (progn (setq X EXP) C)
       BODY)
     TAIL)

Often BODY is empty (in which case the loop would be a do...while in C).

As for the non-termination of the loop: why not just increment point after
the failure of get-text-property?


        Stefan