Skip to content

Conversation

cknitt
Copy link
Member

@cknitt cknitt commented Sep 6, 2025

Fixes #7274 (except for let \"🎉" = 42 which should be disallowed as it would not result in a valid identifier on the JS side).

By courtesy of my AI assistant - would be good if someone knowing more about the UTF8 processing could have a look at it.

@cknitt cknitt requested review from cristianoc and tsnobip September 6, 2025 14:30
Copy link

pkg-pr-new bot commented Sep 6, 2025

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript-lang/rescript@7853

@rescript/darwin-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-arm64@7853

@rescript/darwin-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-x64@7853

@rescript/linux-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-arm64@7853

@rescript/linux-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-x64@7853

@rescript/runtime

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/runtime@7853

@rescript/win32-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/win32-x64@7853

commit: ca31863

Copy link
Member

@tsnobip tsnobip left a comment

Choose a reason for hiding this comment

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

Nice improvement! String encoding is such a mess!

@cknitt cknitt enabled auto-merge (squash) September 7, 2025 17:24
@cknitt cknitt merged commit 05c10e3 into master Sep 7, 2025
25 checks passed
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.

#"🚀" cast to string is not "🚀"

2 participants