Skip to content

[spec] Tweak tokenisation for text format #1499

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jun 28, 2022
Merged

[spec] Tweak tokenisation for text format #1499

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8f8fb9e
[spec] Tweak tokenisation for text format
rossberg Jun 28, 2022
9a3b37b
Typo
rossberg Jun 28, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Typo
  • Loading branch information
@rossberg
rossberg committed Jun 28, 2022
commit 9a3b37bc72453f3450dfbc7b36b301a5fe17b05c
2 changes: 1 addition & 1 deletion document/core/text/lexical.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ The character stream in the source text is divided, from left to right, into a s
(\text{a} ~|~ \dots ~|~ \text{z})~\Tidchar^\ast
\qquad (\mbox{if occurring as a literal terminal in the grammar}) \\
\production{reserved} & \Treserved &::=&
(\Tidchar ~|~ Tstring)^+ \\
(\Tidchar ~|~ \Tstring)^+ \\
\end{array}

Tokens are formed from the input character stream according to the *longest match* rule.
Expand Down