]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #89614 - cuviper:unicode-14, r=joshtriplett
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Sat, 9 Oct 2021 15:08:40 +0000 (17:08 +0200)
committerGitHub <noreply@github.com>
Sat, 9 Oct 2021 15:08:40 +0000 (17:08 +0200)
commit21a5101e21a770a90f8e322569ac38717d48c0cb
tree73881c87808c126c2501248111cd5daa287058cd
parent703cb973ec5f80675676e7194349f65886478813
parent459a7e340c7670ef50e0f3606686eb190a9dd5af
Rollup merge of #89614 - cuviper:unicode-14, r=joshtriplett

Update to Unicode 14.0

The Unicode Standard [announced Version 14.0](https://home.unicode.org/announcing-the-unicode-standard-version-14-0/) on September 14, 2021, and this pull request updates the generated tables in `core` accordingly.

This did require a little prep-work in `unicode-table-generator`. First, #81358 had modified the generated file instead of the tool, so that change is now reflected in the tool as well. Next, I found that the "Alphabetic" property in version 14 was panicking when generating a bitset, "cannot pack 264 into 8 bits". We've been using the skiplist for that anyway, so I changed this to fail gracefully. Finally, I confirmed that the tool still created the exact same tables for 13 before moving to 14.