Skip to content

Reserved char seq#165

Closed
Rawk wants to merge 1 commit intolibrasn:mainfrom
Rawk:reserved-char-seq
Closed

Reserved char seq#165
Rawk wants to merge 1 commit intolibrasn:mainfrom
Rawk:reserved-char-seq

Conversation

@Rawk
Copy link
Copy Markdown
Contributor

@Rawk Rawk commented Nov 22, 2025

feat(parser): Split up combined reserved words

For example, split "SEQUENCE OF" into it's two reserved character sequences "SEQUENCE" and "OF". This is to better follow the reserved words, and also allows arbitrary white space between words.

Copy link
Copy Markdown
Member

@6d7a 6d7a left a comment

Choose a reason for hiding this comment

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

Looks good, just one question concerning the removed match arms.

@Rawk Rawk force-pushed the reserved-char-seq branch from f12c6e1 to 8278b85 Compare November 28, 2025 14:38
@Rawk

This comment was marked as outdated.

@Rawk Rawk force-pushed the reserved-char-seq branch from 8278b85 to 382fd69 Compare December 28, 2025 07:57
@Rawk
Copy link
Copy Markdown
Contributor Author

Rawk commented Dec 28, 2025

I have simplified this pull request somewhat by moving the extra commits into their own pull requests (#178 & #176).

@Rawk Rawk force-pushed the reserved-char-seq branch from 382fd69 to 2e9dedd Compare December 31, 2025 12:37
@Rawk
Copy link
Copy Markdown
Contributor Author

Rawk commented Dec 31, 2025

Fixed the merge conflicts.

@Rawk Rawk force-pushed the reserved-char-seq branch from 2e9dedd to c0c82d5 Compare January 20, 2026 10:29
@Rawk
Copy link
Copy Markdown
Contributor Author

Rawk commented Jan 20, 2026

Fixed the merge conflicts.

For example, split "SEQUENCE OF" into it's two reserved character
sequences "SEQUENCE" and "OF".

This is to better follow the reserved words, and also allows white space between words.
@Rawk Rawk force-pushed the reserved-char-seq branch from c0c82d5 to 64bba7e Compare January 20, 2026 10:35
@Rawk
Copy link
Copy Markdown
Contributor Author

Rawk commented Feb 3, 2026

I have moved most of these changes into smaller pull requests that hopefully is easier to review. Closing this one.

@Rawk Rawk closed this Feb 3, 2026
@Rawk Rawk deleted the reserved-char-seq branch February 4, 2026 07:27
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.

2 participants