archives

« Bugzilla Issues Index

#4358 — inconsistency in RegEx Term::Assertion evaluation algorithm

• bug_id: 4358
• creation_ts: 2015-05-07 06:57:00 -0700
• short_desc: inconsistency in RegEx Term::Assertion evaluation algorithm
• delta_ts: 2015-05-07 09:03:53 -0700
• product: Draft for 7th Edition
• component: Bugs from ES6
• version: unspecified
• rep_platform: All
• op_sys: All
• bug_status: CONFIRMED
• priority: Normal
• bug_severity: minor
• everconfirmed: true
• reporter: manish.tripathi.777
• assigned_to: Allen Wirfs-Brock

---

• commentid: 14386
• comment_count: 0
• who: manish.tripathi.777
• bug_when: 2015-05-07 06:57:11 -0700

In 21.2.2.5 Term section:

Evaluation algorithm for production "Term :: Assertion" assumes that Assertion always evaluates to AssertionTester.
However, "Assertion :: ( ? = Disjunction )" and "Assertion :: ( ? ! Disjunction )" evaluate to a matcher.
Therefore, this section should start with something like "if Assertion evaluates to a Matcher closure, return that Matcher closure"

---

• commentid: 14391
• comment_count: 1
• who: Allen Wirfs-Brock
• bug_when: 2015-05-07 09:03:53 -0700

This appears to be a bug that has existed since ES5 yet this is the first time it has been reported.

Because of the nature of this bug, I think it is best to not try to rush a fix into ES6 at this late stage. Instead, I'm going to transfer it to ES7 so it can be addressed in the first yearly update to ES6.