Skip to content

Unicode Characters #208

Closed Answered by mike-lischke
ThuanLebk asked this question in Q&A
Mar 18, 2023 · 1 comments · 1 reply
Discussion options

You must be logged in to vote

There's no way to influence the set used for printable Unicode characters. So you have only 2 options:

  1. Change the grammar temporarily to use only the ASCII script for ID parsing.
  2. Specify a number of fixed IDs as described in the Rule Mappings documentation.

Replies: 1 comment 1 reply

Comment options

You must be logged in to vote
1 reply
@ThuanLebk
Comment options

Answer selected by ThuanLebk
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants