* bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group"
@ 2009-04-03 19:15 ` Joe Corneli
2009-04-03 19:55 ` Andreas Schwab
2009-04-03 21:50 ` bug#2881: marked as done (23.0.91; inconsistent regexps with "explicitly numbered group") Emacs bug Tracking System
0 siblings, 2 replies; 6+ messages in thread
From: Joe Corneli @ 2009-04-03 19:15 UTC (permalink / raw)
To: emacs-pretest-bug
Please execute the following forms with C-x C-e. Form 1
and Form 3 return `t' (Yes, we are looking at the
indicated regular expression), whereas Form 2 returns
`nil' (even though from the Elisp reference page "34.3.1.3
Backslash Constructs in Regular Expressions", it appears
that this form ought to return `t' like the others).
For comparison's sake, Form 4 and Form 5 show different
inconsistent behavior when using `search-forward-regexp'.
Form 4 only finds part of the match, whereas Form 5 finds
the full match.
Form #1.
(let ((possible-environments
"\\(1?:lisp\\|idea\\|common\\)"))
(looking-at
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{idea}
Form #2.
(let ((possible-environments
"\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
(looking-at
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{idea}
Form #3.
(let ((possible-environments
"\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
(looking-at
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{lisp}
Form #4.
(let ((possible-environments
"\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
(search-forward-regexp
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{lisp}
Form #5.
(let ((possible-environments
"\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
(search-forward-regexp
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{common}
If Emacs crashed, and you have the Emacs process in the gdb debugger,
please include the output from the following gdb commands:
`bt full' and `xbacktrace'.
If you would like to further debug the crash, please read the file
/Users/planetmath/emacs/etc/DEBUG for instructions.
In GNU Emacs 23.0.91.1 (i386-apple-darwin8.11.1, GTK+ Version 2.14.7)
of 2009-03-31 on planet-maths-computer.local
Windowing system distributor `The XFree86 Project, Inc', version 11.0.40400000
configured using `configure '--infodir=${prefix}/share/info'
'--mandir=${prefix}/share/man' '--libexecdir=${prefix}/lib''
Important settings:
value of $LC_ALL: nil
value of $LC_COLLATE: nil
value of $LC_CTYPE: nil
value of $LC_MESSAGES: nil
value of $LC_MONETARY: nil
value of $LC_NUMERIC: nil
value of $LC_TIME: nil
value of $LANG: nil
value of $XMODIFIERS: nil
locale-coding-system: nil
default-enable-multibyte-characters: t
Major mode: Lisp Interaction
Minor modes in effect:
shell-dirtrack-mode: t
show-paren-mode: t
tooltip-mode: t
mouse-wheel-mode: t
file-name-shadow-mode: t
global-font-lock-mode: t
font-lock-mode: t
global-auto-composition-mode: t
auto-composition-mode: t
auto-encryption-mode: t
auto-compression-mode: t
line-number-mode: t
transient-mark-mode: 1
Recent input:
M-\ <down> <tab> <up> <up> <up> <up> <up> <up> <up>
<up> <up> <up> <up> C-SPC <C-right> M-w M-> <return>
<tab> C-y <tab> ) <return> <return> \ \ <backspace>
b e g j <backspace> i n { } <left> i d e a C-e <up>
<up> C-e C-x C-e <down> <down> <left> C-e M-< <down>
<down> <down> <down> <down> <down> <down> <down> <down>
<down> <down> <down> <down> <down> <down> <down> <down>
<down> <down> <down> <down> <down> <down> <down> <down>
<down> <down> <down> <down> <down> <down> <down> <down>
<down> <down> <down> M-< C-x C-f m <backspace> a r
x a n <tab> - <tab> m <tab> <return> g <down> <up>
<down> <return> C-s i m p o r t - c o d C-s C-s <down>
<down> C-a C-e C-SPC C-a <up> M-w C-x b * s c <tab>
<return> M-> <return> <return> C-y <C-left> <left>
<left> <left> <right> <backspace> <tab> <down> <up>
<down> M-f M-f M-f M-b <left> <left> <left> <left>
<left> <left> <left> C-SPC <C-right> <C-right> M-w
C-y M-b M-b M-f M-f <M-backspace> c o m m o n <up>
<up> <up> <up> <down> C-SPC C-a <up> <up> <up> <up>
<up> M-w M-> C-y <up> <up> C-e ) <up> <up> <up> <up>
C-e <up> C-e <up> <tab> C-e <C-left> <left> <backspace>
<return> <tab> <up> C-e ) <down> M-> <up> <up> C-e
<backspace> C-x C-e <down> <down> C-SPC C-a <up> <up>
<up> <up> <up> <up> <up> M-w M-> <return> <return>
C-y <up> <up> <up> <up> <down> <up> <down> <down> <down>
<down> <left> <M-backspace> l i s p <up> <up> C-e C-x
C-e <down> <down> C-SPC C-a <up> <up> <up> <up> <up>
<up> <up> <up> <up> <up> <up> <up> <up> <up> <up> <up>
<up> <up> <up> <up> <up> <up> <up> <up> <up> M-w M-x
r e p <tab> o r <tab> <return>
Recent messages:
t
Mark set [2 times]
Making completion list...
Mark saved where search started
Mark set [9 times]
nil
Mark set [3 times]
t
Mark set
Making completion list...
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group"
2009-04-03 19:15 ` bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group" Joe Corneli
@ 2009-04-03 19:55 ` Andreas Schwab
2009-04-03 20:41 ` Joe Corneli
2009-04-03 21:32 ` Andreas Schwab
2009-04-03 21:50 ` bug#2881: marked as done (23.0.91; inconsistent regexps with "explicitly numbered group") Emacs bug Tracking System
1 sibling, 2 replies; 6+ messages in thread
From: Andreas Schwab @ 2009-04-03 19:55 UTC (permalink / raw)
To: Joe Corneli; +Cc: emacs-pretest-bug, 2881
Joe Corneli <holtzermann17@gmail.com> writes:
> Please execute the following forms with C-x C-e. Form 1
> and Form 3 return `t' (Yes, we are looking at the
> indicated regular expression), whereas Form 2 returns
> `nil' (even though from the Elisp reference page "34.3.1.3
> Backslash Constructs in Regular Expressions", it appears
> that this form ought to return `t' like the others).
`\|' applies to the largest possible surrounding expressions.
Only a surrounding `\( ... \)' grouping can limit the grouping
power of `\|'.
> (let ((possible-environments
> "\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
> (looking-at
> (concat "\n*?\\\\begin{"
> possible-environments
> "}")))
The three alternatives of this regexp are "\n*?\\\\begin{\\(?1:lisp\\)",
"\\(?1:idea\\)" and "\\(?1:common\\)".
Andreas.
--
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group"
2009-04-03 19:55 ` Andreas Schwab
@ 2009-04-03 20:41 ` Joe Corneli
2009-04-03 21:32 ` Andreas Schwab
1 sibling, 0 replies; 6+ messages in thread
From: Joe Corneli @ 2009-04-03 20:41 UTC (permalink / raw)
To: Andreas Schwab; +Cc: emacs-pretest-bug, 2881
What about the comparison between Form 4 and Form 5,
which seems to not only go against the description of `\|'
you quoted, but to contain another internal inconsistency
(whether or not the final `}' is matched)?
On Fri, Apr 3, 2009 at 3:55 PM, Andreas Schwab <schwab@linux-m68k.org> wrote:
> Joe Corneli <holtzermann17@gmail.com> writes:
>
>> Please execute the following forms with C-x C-e. Form 1
>> and Form 3 return `t' (Yes, we are looking at the
>> indicated regular expression), whereas Form 2 returns
>> `nil' (even though from the Elisp reference page "34.3.1.3
>> Backslash Constructs in Regular Expressions", it appears
>> that this form ought to return `t' like the others).
>
> `\|' applies to the largest possible surrounding expressions.
> Only a surrounding `\( ... \)' grouping can limit the grouping
> power of `\|'.
>
>> (let ((possible-environments
>> "\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
>> (looking-at
>> (concat "\n*?\\\\begin{"
>> possible-environments
>> "}")))
>
>
> The three alternatives of this regexp are "\n*?\\\\begin{\\(?1:lisp\\)",
> "\\(?1:idea\\)" and "\\(?1:common\\)".
>
> Andreas.
>
> --
> Andreas Schwab, schwab@linux-m68k.org
> GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
> "And now for something completely different."
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group"
2009-04-03 19:55 ` Andreas Schwab
2009-04-03 20:41 ` Joe Corneli
@ 2009-04-03 21:32 ` Andreas Schwab
2009-04-03 21:38 ` Joe Corneli
1 sibling, 1 reply; 6+ messages in thread
From: Andreas Schwab @ 2009-04-03 21:32 UTC (permalink / raw)
To: 2881; +Cc: Joe Corneli, emacs-pretest-bug
Andreas Schwab <schwab@linux-m68k.org> writes:
> Joe Corneli <holtzermann17@gmail.com> writes:
>
>> Please execute the following forms with C-x C-e. Form 1
>> and Form 3 return `t' (Yes, we are looking at the
>> indicated regular expression), whereas Form 2 returns
>> `nil' (even though from the Elisp reference page "34.3.1.3
>> Backslash Constructs in Regular Expressions", it appears
>> that this form ought to return `t' like the others).
>
> `\|' applies to the largest possible surrounding expressions.
> Only a surrounding `\( ... \)' grouping can limit the grouping
> power of `\|'.
>
>> (let ((possible-environments
>> "\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
>> (looking-at
>> (concat "\n*?\\\\begin{"
>> possible-environments
>> "}")))
>
>
> The three alternatives of this regexp are "\n*?\\\\begin{\\(?1:lisp\\)",
> "\\(?1:idea\\)" and "\\(?1:common\\)".
The last one is "\\(?1:common\\)}", of course.
Andreas.
--
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group"
2009-04-03 21:32 ` Andreas Schwab
@ 2009-04-03 21:38 ` Joe Corneli
0 siblings, 0 replies; 6+ messages in thread
From: Joe Corneli @ 2009-04-03 21:38 UTC (permalink / raw)
To: Andreas Schwab; +Cc: emacs-pretest-bug, 2881
Oh, OK, I see! Never mind!
On Fri, Apr 3, 2009 at 5:32 PM, Andreas Schwab <schwab@linux-m68k.org> wrote:
> Andreas Schwab <schwab@linux-m68k.org> writes:
>
>> Joe Corneli <holtzermann17@gmail.com> writes:
>>
>>> Please execute the following forms with C-x C-e. Form 1
>>> and Form 3 return `t' (Yes, we are looking at the
>>> indicated regular expression), whereas Form 2 returns
>>> `nil' (even though from the Elisp reference page "34.3.1.3
>>> Backslash Constructs in Regular Expressions", it appears
>>> that this form ought to return `t' like the others).
>>
>> `\|' applies to the largest possible surrounding expressions.
>> Only a surrounding `\( ... \)' grouping can limit the grouping
>> power of `\|'.
>>
>>> (let ((possible-environments
>>> "\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
>>> (looking-at
>>> (concat "\n*?\\\\begin{"
>>> possible-environments
>>> "}")))
>>
>>
>> The three alternatives of this regexp are "\n*?\\\\begin{\\(?1:lisp\\)",
>> "\\(?1:idea\\)" and "\\(?1:common\\)".
>
> The last one is "\\(?1:common\\)}", of course.
>
> Andreas.
>
> --
> Andreas Schwab, schwab@linux-m68k.org
> GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
> "And now for something completely different."
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#2881: marked as done (23.0.91; inconsistent regexps with "explicitly numbered group")
2009-04-03 19:15 ` bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group" Joe Corneli
2009-04-03 19:55 ` Andreas Schwab
@ 2009-04-03 21:50 ` Emacs bug Tracking System
1 sibling, 0 replies; 6+ messages in thread
From: Emacs bug Tracking System @ 2009-04-03 21:50 UTC (permalink / raw)
To: Stefan Monnier
[-- Attachment #1: Type: text/plain, Size: 942 bytes --]
Your message dated Fri, 03 Apr 2009 17:43:37 -0400
with message-id <jwvocvdct45.fsf-monnier+emacsbugreports@gnu.org>
and subject line Re: bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group"
has caused the Emacs bug report #2881,
regarding 23.0.91; inconsistent regexps with "explicitly numbered group"
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@emacsbugs.donarmstrong.com
immediately.)
--
2881: http://emacsbugs.donarmstrong.com/cgi-bin/bugreport.cgi?bug=2881
Emacs Bug Tracking System
Contact owner@emacsbugs.donarmstrong.com with problems
[-- Attachment #2: Type: message/rfc822, Size: 7627 bytes --]
From: Joe Corneli <holtzermann17@gmail.com>
To: emacs-pretest-bug@gnu.org
Subject: 23.0.91; inconsistent regexps with "explicitly numbered group"
Date: Fri, 3 Apr 2009 15:15:01 -0400
Message-ID: <a9670630904031215w611793edw73da994f48bf607b@mail.gmail.com>
Please execute the following forms with C-x C-e. Form 1
and Form 3 return `t' (Yes, we are looking at the
indicated regular expression), whereas Form 2 returns
`nil' (even though from the Elisp reference page "34.3.1.3
Backslash Constructs in Regular Expressions", it appears
that this form ought to return `t' like the others).
For comparison's sake, Form 4 and Form 5 show different
inconsistent behavior when using `search-forward-regexp'.
Form 4 only finds part of the match, whereas Form 5 finds
the full match.
Form #1.
(let ((possible-environments
"\\(1?:lisp\\|idea\\|common\\)"))
(looking-at
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{idea}
Form #2.
(let ((possible-environments
"\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
(looking-at
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{idea}
Form #3.
(let ((possible-environments
"\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
(looking-at
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{lisp}
Form #4.
(let ((possible-environments
"\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
(search-forward-regexp
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{lisp}
Form #5.
(let ((possible-environments
"\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)") )
(search-forward-regexp
(concat "\n*?\\\\begin{"
possible-environments
"}")))
\begin{common}
If Emacs crashed, and you have the Emacs process in the gdb debugger,
please include the output from the following gdb commands:
`bt full' and `xbacktrace'.
If you would like to further debug the crash, please read the file
/Users/planetmath/emacs/etc/DEBUG for instructions.
In GNU Emacs 23.0.91.1 (i386-apple-darwin8.11.1, GTK+ Version 2.14.7)
of 2009-03-31 on planet-maths-computer.local
Windowing system distributor `The XFree86 Project, Inc', version 11.0.40400000
configured using `configure '--infodir=${prefix}/share/info'
'--mandir=${prefix}/share/man' '--libexecdir=${prefix}/lib''
Important settings:
value of $LC_ALL: nil
value of $LC_COLLATE: nil
value of $LC_CTYPE: nil
value of $LC_MESSAGES: nil
value of $LC_MONETARY: nil
value of $LC_NUMERIC: nil
value of $LC_TIME: nil
value of $LANG: nil
value of $XMODIFIERS: nil
locale-coding-system: nil
default-enable-multibyte-characters: t
Major mode: Lisp Interaction
Minor modes in effect:
shell-dirtrack-mode: t
show-paren-mode: t
tooltip-mode: t
mouse-wheel-mode: t
file-name-shadow-mode: t
global-font-lock-mode: t
font-lock-mode: t
global-auto-composition-mode: t
auto-composition-mode: t
auto-encryption-mode: t
auto-compression-mode: t
line-number-mode: t
transient-mark-mode: 1
Recent input:
M-\ <down> <tab> <up> <up> <up> <up> <up> <up> <up>
<up> <up> <up> <up> C-SPC <C-right> M-w M-> <return>
<tab> C-y <tab> ) <return> <return> \ \ <backspace>
b e g j <backspace> i n { } <left> i d e a C-e <up>
<up> C-e C-x C-e <down> <down> <left> C-e M-< <down>
<down> <down> <down> <down> <down> <down> <down> <down>
<down> <down> <down> <down> <down> <down> <down> <down>
<down> <down> <down> <down> <down> <down> <down> <down>
<down> <down> <down> <down> <down> <down> <down> <down>
<down> <down> <down> M-< C-x C-f m <backspace> a r
x a n <tab> - <tab> m <tab> <return> g <down> <up>
<down> <return> C-s i m p o r t - c o d C-s C-s <down>
<down> C-a C-e C-SPC C-a <up> M-w C-x b * s c <tab>
<return> M-> <return> <return> C-y <C-left> <left>
<left> <left> <right> <backspace> <tab> <down> <up>
<down> M-f M-f M-f M-b <left> <left> <left> <left>
<left> <left> <left> C-SPC <C-right> <C-right> M-w
C-y M-b M-b M-f M-f <M-backspace> c o m m o n <up>
<up> <up> <up> <down> C-SPC C-a <up> <up> <up> <up>
<up> M-w M-> C-y <up> <up> C-e ) <up> <up> <up> <up>
C-e <up> C-e <up> <tab> C-e <C-left> <left> <backspace>
<return> <tab> <up> C-e ) <down> M-> <up> <up> C-e
<backspace> C-x C-e <down> <down> C-SPC C-a <up> <up>
<up> <up> <up> <up> <up> M-w M-> <return> <return>
C-y <up> <up> <up> <up> <down> <up> <down> <down> <down>
<down> <left> <M-backspace> l i s p <up> <up> C-e C-x
C-e <down> <down> C-SPC C-a <up> <up> <up> <up> <up>
<up> <up> <up> <up> <up> <up> <up> <up> <up> <up> <up>
<up> <up> <up> <up> <up> <up> <up> <up> <up> M-w M-x
r e p <tab> o r <tab> <return>
Recent messages:
t
Mark set [2 times]
Making completion list...
Mark saved where search started
Mark set [9 times]
nil
Mark set [3 times]
t
Mark set
Making completion list...
[-- Attachment #3: Type: message/rfc822, Size: 2248 bytes --]
From: Stefan Monnier <monnier@IRO.UMontreal.CA>
To: Joe Corneli <holtzermann17@gmail.com>
Cc: 2881-done@emacsbugs.donarmstrong.com
Subject: Re: bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group"
Date: Fri, 03 Apr 2009 17:43:37 -0400
Message-ID: <jwvocvdct45.fsf-monnier+emacsbugreports@gnu.org>
> What about the comparison between Form 4 and Form 5,
> which seems to not only go against the description of `\|'
> you quoted, but to contain another internal inconsistency
> (whether or not the final `}' is matched)?
Still quite expected. Your regexp is:
"\n*?\\\\begin{\\(?1:lisp\\)\\|\\(?1:idea\\)\\|\\(?1:common\\)}"
i.e.
"\n*?\\\\begin{\\(?1:lisp\\)" or "\\(?1:idea\\)" or "\\(?1:common\\)}"
Clearly, the "lisp" alternative doesn't match a closing }
Stefan
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2009-04-03 21:50 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
[not found] <jwvocvdct45.fsf-monnier+emacsbugreports@gnu.org>
2009-04-03 19:15 ` bug#2881: 23.0.91; inconsistent regexps with "explicitly numbered group" Joe Corneli
2009-04-03 19:55 ` Andreas Schwab
2009-04-03 20:41 ` Joe Corneli
2009-04-03 21:32 ` Andreas Schwab
2009-04-03 21:38 ` Joe Corneli
2009-04-03 21:50 ` bug#2881: marked as done (23.0.91; inconsistent regexps with "explicitly numbered group") Emacs bug Tracking System
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).