Skip to content

Semantics: add \A, \z and \Z buffer boundaries - #33

Merged
Aurele-Barriere merged 2 commits into
mainfrom
aurele/boundaries
Jun 15, 2026
Merged

Semantics: add \A, \z and \Z buffer boundaries#33
Aurele-Barriere merged 2 commits into
mainfrom
aurele/boundaries

Conversation

@Aurele-Barriere

Copy link
Copy Markdown
Collaborator

No description provided.

Comment thread Rewriting/Anchors.v
(Lookaround NegLookBehind (Character CdWordChar))
(Lookaround LookAhead (Character CdWordChar)))
(* LATER: we should be able to desugar buffer boundaries too *)
| BeginBuffer | EndBuffer | TerminatedBuffer => Anchor a

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What do you mean, should line 61 be inside the comment? No, I do need to return something in these cases so that pattern matching isn't incomplete, so I just return the anchor unchanged.

Comment thread Semantics/Semantics.v Outdated
@Aurele-Barriere
Aurele-Barriere merged commit d217024 into main Jun 15, 2026
2 checks passed
@Aurele-Barriere
Aurele-Barriere deleted the aurele/boundaries branch June 15, 2026 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants