all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Andreas Politz <politza@fh-trier.de>
To: help-gnu-emacs@gnu.org
Subject: Re: string-match bug?
Date: Thu, 10 Dec 2009 12:00:40 +0100	[thread overview]
Message-ID: <87k4wvm6uf.fsf@fh-trier.de> (raw)
In-Reply-To: 20091210100106.GA7193@tomas

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






  reply	other threads:[~2009-12-10 11:00 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <mailman.12437.1260197731.2239.help-gnu-emacs@gnu.org>
2009-12-07 15:08 ` string-match bug? Colin S. Miller
2009-12-07 15:25   ` Colin S. Miller
2009-12-07 20:37     ` Andreas Röhler
2009-12-07 21:23       ` Matthew Dempsky
2009-12-08 10:42         ` Andreas Röhler
2009-12-08 11:35           ` Juanma Barranquero
2009-12-08 11:50           ` Peter Münster
     [not found]           ` <mailman.12522.1260273034.2239.help-gnu-emacs@gnu.org>
2009-12-08 15:56             ` Stefan Monnier
     [not found]         ` <mailman.12517.1260268988.2239.help-gnu-emacs@gnu.org>
2009-12-14 13:53           ` David Kastrup
     [not found]       ` <mailman.12469.1260221021.2239.help-gnu-emacs@gnu.org>
2009-12-08  3:22         ` Barry Margolin
2009-12-08 10:50           ` Andreas Röhler
2009-12-08 11:31             ` Peter Dyballa
2009-12-08 13:55               ` Andreas Röhler
     [not found]           ` <mailman.12518.1260269458.2239.help-gnu-emacs@gnu.org>
2009-12-08 20:48             ` Barry Margolin
2009-12-08 21:23               ` Pascal J. Bourguignon
2009-12-09 16:16                 ` Stefan Monnier
2009-12-08 23:48               ` Matthew Dempsky
2009-12-09  8:05                 ` Andreas Röhler
2009-12-09 12:56                   ` Juanma Barranquero
2009-12-09 17:33                     ` Andreas Röhler
2009-12-09 18:07                       ` Matthew Dempsky
2009-12-09 18:13                         ` tomas
2009-12-09 18:59                         ` Andreas Röhler
2009-12-09 21:15                           ` Matthew Dempsky
     [not found]                         ` <mailman.12615.1260385212.2239.help-gnu-emacs@gnu.org>
2009-12-10  0:22                           ` Barry Margolin
2009-12-09 18:11                       ` tomas
2009-12-10  3:05                       ` Kevin Rodgers
     [not found]                       ` <mailman.12630.1260414617.2239.help-gnu-emacs@gnu.org>
2009-12-10  5:34                         ` Stefan Monnier
2009-12-10 10:01                           ` tomas
2009-12-10 11:00                             ` Andreas Politz [this message]
2009-12-11  4:37                               ` Kevin Rodgers
     [not found]                             ` <mailman.12651.1260442881.2239.help-gnu-emacs@gnu.org>
2009-12-14 13:59                               ` David Kastrup
     [not found]                     ` <mailman.12606.1260380004.2239.help-gnu-emacs@gnu.org>
2009-12-09 19:08                       ` Frank Fredstone
2009-12-10 19:25                         ` Andreas Röhler
2009-12-10 23:41                           ` Juanma Barranquero
     [not found]                         ` <mailman.12689.1260473128.2239.help-gnu-emacs@gnu.org>
2009-12-10 20:40                           ` Frank Fredstone
2009-12-09 21:33                       ` Stefan Monnier
2009-12-10  6:38                         ` Andreas Röhler
2009-12-14 13:51             ` David Kastrup
2009-12-07 14:55 Andreas Roehler
2009-12-07 15:31 ` Pierre Lorenzon

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87k4wvm6uf.fsf@fh-trier.de \
    --to=politza@fh-trier.de \
    --cc=help-gnu-emacs@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.