From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andreas Politz Newsgroups: gmane.emacs.help Subject: Re: string-match bug? Date: Thu, 10 Dec 2009 12:00:40 +0100 Message-ID: <87k4wvm6uf.fsf@fh-trier.de> References: <4B1F5A38.1030703@easy-emacs.de> <4B1FDF51.1010002@easy-emacs.de> <20091210100106.GA7193@tomas> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1260442938 24745 80.91.229.12 (10 Dec 2009 11:02:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 10 Dec 2009 11:02:18 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Thu Dec 10 12:02:11 2009 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1NIgmf-0007lP-3x for geh-help-gnu-emacs@m.gmane.org; Thu, 10 Dec 2009 12:02:09 +0100 Original-Received: from localhost ([127.0.0.1]:57053 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NIgme-000549-VL for geh-help-gnu-emacs@m.gmane.org; Thu, 10 Dec 2009 06:02:09 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NIglr-00053C-PN for help-gnu-emacs@gnu.org; Thu, 10 Dec 2009 06:01:19 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1NIgln-00050d-7r for help-gnu-emacs@gnu.org; Thu, 10 Dec 2009 06:01:19 -0500 Original-Received: from [199.232.76.173] (port=50721 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NIglm-00050V-TF for help-gnu-emacs@gnu.org; Thu, 10 Dec 2009 06:01:14 -0500 Original-Received: from lo.gmane.org ([80.91.229.12]:52040) by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1NIglm-000414-CN for help-gnu-emacs@gnu.org; Thu, 10 Dec 2009 06:01:14 -0500 Original-Received: from list by lo.gmane.org with local (Exim 4.50) id 1NIglg-0007MK-6S for help-gnu-emacs@gnu.org; Thu, 10 Dec 2009 12:01:08 +0100 Original-Received: from dslb-084-059-216-019.pools.arcor-ip.net ([84.59.216.19]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 10 Dec 2009 12:01:08 +0100 Original-Received: from politza by dslb-084-059-216-019.pools.arcor-ip.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 10 Dec 2009 12:01:08 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 25 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: dslb-084-059-216-019.pools.arcor-ip.net User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) Cancel-Lock: sha1:ZkpcAdH1jIqi8iNs8mTd6yC4QxU= X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 3) X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:70549 Archived-At: tomas@tuxteam.de writes: > On Thu, Dec 10, 2009 at 12:34:45AM -0500, Stefan Monnier wrote: >> > Actually, it has an infinite number of empty strings at position 0 >> > -- and at every position. >> >> Good, thank you. I never took the time to count them, so I always >> wondered whether there really were enough of them to count as "an >> infinite number". I'm glad it's settled. > > Far from it! the more interesting question: countable? /me tries in vain > to hide from Cantor's ghost) > > Regards > -- tomás Counting them is easy with the greedy operator. (and (string-match "\\(\\)*" "") (match-end 0)) This proofs, empty strings don't exist. -ap