Skip to content

RFC: use unicode character categories to classify identifier characters#6805

Merged
JeffBezanson merged 5 commits intomasterfrom
jb/unicode_identifiers
May 13, 2014
Merged

RFC: use unicode character categories to classify identifier characters#6805
JeffBezanson merged 5 commits intomasterfrom
jb/unicode_identifiers

Conversation

@JeffBezanson
Copy link
Copy Markdown
Member

fixes #6797, fixes #5936

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Punctuation characters cannot occur here?

JeffBezanson added a commit that referenced this pull request May 13, 2014
RFC: use unicode character categories to classify identifier characters
@JeffBezanson JeffBezanson merged commit d612317 into master May 13, 2014
@JeffBezanson JeffBezanson deleted the jb/unicode_identifiers branch August 10, 2014 05:53
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.

Unicode comparison operators parsing differs from ASCII counterparts Restrict codepoints of valid identifiers

9 participants