New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Preserve unicode format strings #1001

Merged

anmonteiro merged 3 commits into main from anmonteiro/unicode-format-strings

Dec 26, 2023

Member

anmonteiro commented Dec 25, 2023

fixes #1000

anmonteiro added 2 commits

December 25, 2023 19:10


          test: show unicode format strings aren't preserved

e8be507


          fix: preserve unicode format strings in JS output

290ba3a

anmonteiro force-pushed the anmonteiro/unicode-format-strings branch from 6d5e2c9 to 290ba3a Compare

December 25, 2023 19:45


          test: show that {j| ... |j} with interpolation doesn't typecheck

e90d177

anmonteiro merged commit 6aa3f8e into main

4 checks passed

anmonteiro deleted the anmonteiro/unicode-format-strings branch

December 26, 2023 11:05

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet