[Bug 15545] [QT3] Possible error in re00972?

https://www.w3.org/Bugs/Public/show_bug.cgi?id=15545

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mike@saxonica.com

--- Comment #1 from Michael Kay <mike@saxonica.com> 2012-01-13 17:12:00 UTC ---
I think I've just checked in some changes to these tests. This was a bit
naughty, I was under the impression that they were still under development and
had not yet been committed. I came to the conclusion that the spec here is
underdefined: with a construct such as

(a*)*

that can match the input "aaaa" in various ways, we aren't prescriptive about
what the contents of \1 should be. One can argue that the inner loop should be
executed four times and the outer loop once, but the spec makes no attempt to
mandate that. Your theory that the outer loop is executed twice, matching
"aaaa" the first time and "" the second time, is equally defensible. In fact
there's nothing in the spec to say that the implementation must terminate...

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 13 January 2012 17:14:07 UTC