-
Notifications
You must be signed in to change notification settings - Fork 3
Support RegExp atomic operators #1018
Copy link
Copy link
Open
Labels
engineTGocciaEngine: language semantics, ECMAScript built-ins, parser, interpreter, bytecode VMTGocciaEngine: language semantics, ECMAScript built-ins, parser, interpreter, bytecode VMnew featureNew feature or requestNew feature or requestspec complianceMismatch against official JavaScript/TypeScript specificationMismatch against official JavaScript/TypeScript specification
Milestone
Description
Metadata
Metadata
Assignees
Labels
engineTGocciaEngine: language semantics, ECMAScript built-ins, parser, interpreter, bytecode VMTGocciaEngine: language semantics, ECMAScript built-ins, parser, interpreter, bytecode VMnew featureNew feature or requestNew feature or requestspec complianceMismatch against official JavaScript/TypeScript specificationMismatch against official JavaScript/TypeScript specification
Summary
Implement the Stage 1 TC39 proposal: https://github.com/tc39/proposal-regexp-atomic-operators
Implement current atomic grouping and possessive quantifier syntax, committing the appropriate backtracking alternatives without corrupting captures.
Why
This proposal fits GocciaScript's modern ECMAScript surface and the 0.13.0 proposal roadmap. It should extend the engine's existing architecture rather than arrive as a userland shim.
Current behavior
The RegExp VM backtracks but has no atomic groups or possessive quantifiers.
Expected behavior
Implement current atomic grouping and possessive quantifier syntax, committing the appropriate backtracking alternatives without corrupting captures.
Scope notes
Add explicit Compiler/Program/VM support rather than semantic-changing rewrites. Cover nesting, alternation, captures/backrefs, lookaround, empty matches, catastrophic patterns, diagnostics, and tests. Additive syntax: no flag.
Related bytecode roadmap: #871 and #875. Update the relevant language/built-in documentation and Goccia proposal inventory. Use the proposal repository and its current specification at implementation time; add focused project tests and matching pinned Test262/proposal coverage without regressions.
Acceptance criteria