Skip to content

using Slang API to ignore trivia nodes#1217

Closed
Janther wants to merge 2 commits intomainfrom
trivia
Closed

using Slang API to ignore trivia nodes#1217
Janther wants to merge 2 commits intomainfrom
trivia

Conversation

@Janther
Copy link
Copy Markdown
Member

@Janther Janther commented Jul 24, 2025

mainly future proofing in case Slang adds a new trivia kind in future versions.

@Janther Janther requested a review from fvictorio July 24, 2025 12:10
@Janther Janther added the refactor reorganising the code without changes label Jul 24, 2025
@Janther
Copy link
Copy Markdown
Member Author

Janther commented Aug 13, 2025

closing in favour of #1235

@Janther Janther closed this Aug 13, 2025
@Janther Janther deleted the trivia branch November 11, 2025 20:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

refactor reorganising the code without changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant