8000 Warn for probably wrong unicode escapes such as \u0ffff · Issue #183 · jflex-de/jflex · GitHub
[go: up one dir, main page]

Skip to content
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.

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

Warn for probably wrong unicode escapes such as \u0ffff #183

Closed
lsf37 opened this issue Apr 2, 2015 · 0 comments · Fixed by #1042
Closed

Warn for probably wrong unicode escapes such as \u0ffff #183

lsf37 opened this issue Apr 2, 2015 · 0 comments · Fixed by #1042
Assignees
Labels
enhancement Feature requests help wanted Good first issues

Comments

@lsf37
Copy link
Member
lsf37 commented Apr 2, 2015

\u0ffff means \u0fff followed by the letter f. The user probably meant \U00ffff instead.

We should add a warning for such occasions (for \u and \U), which can optionally be suppressed.

See also #179

@lsf37 lsf37 added the enhancement Feature requests label Apr 2, 2015
@lsf37 lsf37 added this to the release 1.7.0 milestone Apr 2, 2015
@regisd regisd self-assigned this Apr 11, 2015
@sarowe sarowe assigned sarowe and unassigned regisd Jul 25, 2015
@lsf37 lsf37 modified the milestones: 1.7.0, 1.7.1 Sep 16, 2018
@regisd regisd modified the milestones: 1.7.1, 1.8.0 Sep 16, 2018
@regisd regisd added the help wanted Good first issues label Sep 16, 2018
@regisd regisd removed this from the 1.8.0 milestone Nov 27, 2019
@lsf37 lsf37 assigned lsf37 and unassigned sarowe Jan 20, 2023
@lsf37 lsf37 closed this as completed in bbf6c13 Jan 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Feature requests help wanted Good first issues
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants
0