support Unicode 17 via utf8proc 2.11.0

[stevengj]

Similar to #56925, support Unicode 17 by bumping utf8proc to 2.11.0 (thanks to JuliaStrings/utf8proc#301 by @eschnett).

This allows us to use 10 exciting new emoji characters as identifiers, including "treasure chest"

"\U1FA8E" (but still no superscript "q").

[eschnett]

I suggest updating UNICODE_DATA_VERSION in doc/Makefile as well.

Edit: And update deps/checksums/UnicodeData-16.0.0.txt to deps/checksums/UnicodeData-17.0.0.txt (make -f contrib/refresh_checksums.mk checksum-doc-unicodedata).

[stevengj]

Okay, I bumped UNICODE_DATA_VERSION.

[eschnett]

For what it's worth – this looks good.

[giordano]

but still no superscript "q"

Doesn't seem to be true anymore: 𐞥 (this was mentioned at stevengj/subsuper-proposal#10 (comment)). You can refer to the subscript version though.

[araujoms]

That's strange, I can do

julia> '𐞥'
'𐞥': Unicode U+107A5 (category Lm: Letter, modifier)

but \^q doesn't work.

[stevengj]

Oh, did they actually add a superscript "q" in Unicode 14? https://codepoints.net/U+107A5?lang=en … it doesn't seem to be supported in any fonts on my system?

In any case, tab completions for new characters aren't added automatically … they have to be added manually.

[eschnett]

#59544

[cormullion]

Oh, did they actually add a superscript "q" in Unicode 14? https://codepoints.net/U+107A5?lang=en … it doesn't seem to be supported in any fonts on my system?

It's in JuliaMono v0.061 (but I can't remember when I added it, sorry :)).

[PallHaraldsson]

Since merged (and relatively simple change?) can this PR and subscript q be (when it merged, even simpler) backported to 1.12.x? Even 1.12.0?

[stevengj]

No. Changing the Unicode version is not a bugfix and shouldn't be backported, IMO.

If superscript "q" (U+107A5) was added in Unicode 14, then that has been supported since Julia 1.8. You can easily add the tab completion yourself right now:

import REPL
REPL.REPLCompletions.latex_symbols["\\^q"] = "\U107A5"