Shy groups and * ...eh, what?

Shy groups and * ...eh, what?

[Michael Heerdegen]

Hello,

I wanted to be sure I correctly understood that if you give multiple RX
arguments to the `rx' `*' operator, they are implicitly interpreted as a
sequence (AFAIU, that's the case.  An implicit `or' would also make
sense, that's why I wondered).

Anyway, here is what I tried:

(string-match-p
 (rx bos (* "a" "b") eos)
 "a")
==> 0

(string-match-p
 (rx bos (* "a" "b") eos)
 "b")
==> nil

Eh - what?  With evaluated `rx' forms this is

(string-match-p
 "\\`\\(?:ab\\)*\\'"
 "a")
==> 0

(string-match-p
 "\\`\\(?:ab\\)*\\'"
 "b")
==> nil

Makes no sense to me.  When I change the wrapping shy groups to normal
groups the result makes more sense to me:

(string-match-p
 "\\`\\(ab\\)*\\'"
 "a")
==> nil

(string-match-p
 "\\`\\(ab\\)*\\'"
 "b")
==> nil

Do I miss something or is it just a bug?


TIA,

Michael.

Re: Shy groups and * ...eh, what?

[Heime]

------- Original Message -------
On Saturday, October 22nd, 2022 at 4:24 AM, Michael Heerdegen <michael_heerdegen@web.de> wrote:


> Hello,
> 
> I wanted to be sure I correctly understood that if you give multiple RX
> arguments to the `rx'` ' operator, they are implicitly interpreted as a
> sequence (AFAIU, that's the case. An implicit `or' would also make
> sense, that's why I wondered).

You are correct, they should be interpreted as a sequence.
 
> Anyway, here is what I tried:
> 
> (string-match-p
> (rx bos ( "a" "b") eos)
> "a")
> ==> 0
> 
> 
> (string-match-p
> (rx bos (* "a" "b") eos)
> "b")
> ==> nil
> 
> 
> Eh - what? With evaluated `rx' forms this is (string-match-p "\\\\`\\(?:ab\\)*\\'"
> "a")
> ==> 0
> 
> 
> (string-match-p
> "\\`\\(?:ab\\)*\\'"
> "b")
> ==> nil
> 
> 
> Makes no sense to me. When I change the wrapping shy groups to normal
> groups the result makes more sense to me:
> 
> (string-match-p
> "\\`\\(ab\\)*\\'"
> "a")
> ==> nil
> 
> 
> (string-match-p
> "\\`\\(ab\\)*\\'"
> "b")
> ==> nil
> 
> 
> Do I miss something or is it just a bug?
> 
> 
> TIA,
> 
> Michael.

Re: Shy groups and * ...eh, what?

[tomas]

[-- Attachment #1: Type: text/plain, Size: 1014 bytes --]

On Sat, Oct 22, 2022 at 06:24:39AM +0200, Michael Heerdegen wrote:
> Hello,
> 
> I wanted to be sure I correctly understood that if you give multiple RX
> arguments to the `rx' `*' operator, they are implicitly interpreted as a
> sequence (AFAIU, that's the case.  An implicit `or' would also make
> sense, that's why I wondered).

I didn't try to repeat your examples, but you are right: there is at least
a big smoking hole in the docs: all of the repetition operators seem to
take zero (one?) or more arguments according to the syntax shorthand, but
the text refers to just one term, like here:

  ‘(zero-or-more RX...)’
  ‘(0+ RX...)’
       Match the RXs zero or more times.  Greedy by default.
       Corresponding string regexp: ‘A*’ (greedy), ‘A*?’ (non-greedy)

...what is this `A' the text is referring to? Your experiments suggest
that it is the sequence of the `RX...' in the syntax shorthand (i.e.
(seq RX...), but the docs just leave it open :)

Cheers
-- 
t

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 195 bytes --]

Re: Shy groups and * ...eh, what?

[Heime]

Sent with Proton Mail secure email.

------- Original Message -------
On Saturday, October 22nd, 2022 at 4:24 AM, Michael Heerdegen <michael_heerdegen@web.de> wrote:


> Hello,
> 
> I wanted to be sure I correctly understood that if you give multiple RX
> arguments to the `rx'` ' operator, they are implicitly interpreted as a
> sequence (AFAIU, that's the case. An implicit `or' would also make
> sense, that's why I wondered).
> 
> Anyway, here is what I tried:
> 
> (string-match-p
> (rx bos ( "a" "b") eos)
> "a")
> ==> 0
> 
> 
> (string-match-p
> (rx bos (* "a" "b") eos)
> "b")
> ==> nil
 
I usually do

(string-match-p (rx (seq bos (or "aa" "bb" "cc") (zero-or-more any) eos)) "bboeuoeu")

 
> Eh - what? With evaluated `rx' forms this is (string-match-p "\\\\`\\(?:ab\\)*\\'"
> "a")
> ==> 0
> 
> 
> (string-match-p
> "\\`\\(?:ab\\)*\\'"
> "b")
> ==> nil
> 
> 
> Makes no sense to me. When I change the wrapping shy groups to normal
> groups the result makes more sense to me:
> 
> (string-match-p
> "\\`\\(ab\\)*\\'"
> "a")
> ==> nil
> 
> 
> (string-match-p
> "\\`\\(ab\\)*\\'"
> "b")
> ==> nil
> 
> 
> Do I miss something or is it just a bug?
> 
> 
> TIA,
> 
> Michael.

Re: Shy groups and * ...eh, what?

[Michael Heerdegen]

Hello again,

thanks for answers so far.  We may want to improve that aspect in the
docstring of `rx' - but note that the more important question was about
why "\\`\\(?:ab\\)*\\'" matches "a" - that looks like a bug to me.

Michael.

Re: Shy groups and * ...eh, what?

[tomas]

[-- Attachment #1: Type: text/plain, Size: 771 bytes --]

On Sat, Oct 22, 2022 at 09:37:40AM +0200, Michael Heerdegen wrote:
> Hello again,
> 
> thanks for answers so far.  We may want to improve that aspect in the
> docstring of `rx' - but note that the more important question was about
> why "\\`\\(?:ab\\)*\\'" matches "a" - that looks like a bug to me.

At least an inconsistency. Since the docs don't say what a repeat operator
with more (or less?) than one argument is supposed to mean...

Personally, I'd disallow repeat operators with argument counts different
from one.

Usually, I'm for extending interfaces as far as it gets, but in this case
there doesn't seem to be an obvious and compelling extension (sequence?
alternative?), so I'd feel that there is a footgun for little gain.

Cheers
-- 
t

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 195 bytes --]

Re: Shy groups and * ...eh, what?

[Michael Heerdegen]

<tomas@tuxteam.de> writes:

> > thanks for answers so far.  We may want to improve that aspect in the
> > docstring of `rx' - but note that the more important question was about
> > why "\\`\\(?:ab\\)*\\'" matches "a" - that looks like a bug to me.
>
> At least an inconsistency. Since the docs don't say what a repeat
> operator with more (or less?) than one argument is supposed to mean...

For the stringish regexp case there is only one argument IMO for the *
postfix operator, and that is the regexp "\\(?:ab\\)" in this case.

Michael.

Re: Shy groups and * ...eh, what?

[Bruno Barbier]

Michael Heerdegen <michael_heerdegen@web.de> writes:

> Hello again,
>
> thanks for answers so far.  We may want to improve that aspect in the
> docstring of `rx' - but note that the more important question was about
> why "\\`\\(?:ab\\)*\\'" matches "a" - that looks like a bug to me.
>

Looks like a real bug to me too, when using shy groups: it should match
the whole "ab" or nothing, like it does when using implicit or explicit
groups.


And if you request exactly one "a", "a" doesn't match anymore ...

(string-match-p "\\`\\(?:a\\{1\\}b\\)*\\'" "a")
=> nil

I'm getting the same results with emacs 27, emacs 28 and emacs 29.

Shouldn't you use a more alarming title ?

Bruno

RE: [External] : Shy groups and * ...eh, what?

[Drew Adams]

See also https://emacs.stackexchange.com/q/74211.

Re: Shy groups and * ...eh, what?

[Michael Heerdegen]

Bruno Barbier <brubar.cs@gmail.com> writes:

> Shouldn't you use a more alarming title ?

Yes, the subject was a mistake.  I created a bug report now - see
Bug#58726 (29.0.50; Bug in regexp matching with shy groups).


Thanks,

Michael.

Re: Shy groups and * ...eh, what?

[Michael Heerdegen]

<tomas@tuxteam.de> writes:

>   ‘(zero-or-more RX...)’
>   ‘(0+ RX...)’
>        Match the RXs zero or more times.  Greedy by default.
>        Corresponding string regexp: ‘A*’ (greedy), ‘A*?’ (non-greedy)
>
> ...what is this `A' the text is referring to? Your experiments suggest
> that it is the sequence of the `RX...' in the syntax shorthand (i.e.
> (seq RX...), but the docs just leave it open :)

I see it like you.

I opened Bug#58727 (29.0.50; rx doc: Semantics of RX...) for this
problem.


Thanks,

Michael.

Re: Shy groups and * ...eh, what?

[Emanuel Berg]

Michael Heerdegen wrote:

>> Shouldn't you use a more alarming title ?
>
> Yes, the subject was a mistake. I created a bug report now -
> see Bug#58726 (29.0.50; Bug in regexp matching with shy
> groups).

Well, the first reaction to everything one hasn't seen before
that appears incorrect is always that of confusion ...

Intuition is a trained skill ...

-- 
underground experts united
https://dataswamp.org/~incal

Re: Shy groups and * ...eh, what?

[tomas]

[-- Attachment #1: Type: text/plain, Size: 216 bytes --]

On Sun, Oct 23, 2022 at 04:47:24AM +0200, Michael Heerdegen wrote:

[...]

> I opened Bug#58727 (29.0.50; rx doc: Semantics of RX...) for this
> problem.
> 
> 
> Thanks,

Thank *you* :-)

Cheers
-- 
t

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 195 bytes --]

Re: Shy groups and * ...eh, what?

[Emanuel Berg]

tomas wrote:

>> I opened Bug#58727 (29.0.50; rx doc: Semantics of RX...)
>> for this problem.
>> 
>> Thanks,
>
> Thank *you* :-)

Very much so ...

-- 
underground experts united
https://dataswamp.org/~incal

Re: Shy groups and * ...eh, what?

[Michael Heerdegen]

<tomas@tuxteam.de> writes:

> > Thanks,
>
> Thank *you* :-)
>
> Cheers

Actually, we all have to thank Mattias Engdegård who has fixed all of
this in the meantime (in master)  ;-)

Michael.

Re: Shy groups and * ...eh, what?

[Emanuel Berg]

Michael Heerdegen wrote:

>>> Thanks
>>
>> Thank *you* :-)
>
> Actually, we all have to thank Mattias Engdegård who has
> fixed all of this in the meantime (in master) ;-)

You better believe it ...

-- 
underground experts united
https://dataswamp.org/~incal

Re: Shy groups and * ...eh, what?

[tomas]

[-- Attachment #1: Type: text/plain, Size: 321 bytes --]

On Tue, Oct 25, 2022 at 05:12:12AM +0200, Michael Heerdegen wrote:
> <tomas@tuxteam.de> writes:
> 
> > > Thanks,
> >
> > Thank *you* :-)
> >
> > Cheers
> 
> Actually, we all have to thank Mattias Engdegård who has fixed all of
> this in the meantime (in master)  ;-)

Wow. Thanks you all.

Cheers
-- 
t

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 195 bytes --]