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

support Unicode 15 via utf8proc 2.8 #47392

Merged
merged 2 commits into from
Nov 2, 2022
Merged

support Unicode 15 via utf8proc 2.8 #47392

merged 2 commits into from
Nov 2, 2022

Conversation

stevengj
Copy link
Member

Similarly to #43443, support Unicode 15 by bumping utf8proc to 2.8.0 (which has no other significant changes).

@stevengj stevengj added the unicode Related to unicode characters and encodings label Oct 30, 2022
@KristofferC KristofferC merged commit 5378a31 into master Nov 2, 2022
@KristofferC KristofferC deleted the utf8proc-2.8.0 branch November 2, 2022 08:28
KristofferC pushed a commit that referenced this pull request Oct 23, 2023
Similar to #47392, support [Unicode
15.1](https://www.unicode.org/versions/Unicode15.1.0/) by bumping
utf8proc to 2.9.0 (JuliaStrings/utf8proc#253).

This allows us to use [118 exciting new emoji
characters](https://blog.emojipedia.org/whats-new-in-unicode-15-1-and-emoji-15-1/)
as identifiers, including "edible mushroom" `"\U1f344\u200d\U1f7eb"`
(but still no superscript "q").

Interestingly, they also updated the [Unicode recommendations on
programming-language identifiers
(UAX#31)](https://www.unicode.org/reports/tr31/tr31-39.html#Mathematical_Compatibility_Notation_Profile)
to finally "bless" identifiers beginning with `∂` and `∇` and/or ending
with numeric sub/superscripts. They still don't recommend nearly the
range of identifiers accepted by Julia, however.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
unicode Related to unicode characters and encodings
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants