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.

Sign up for GitHub

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

Jump to bottom

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

Open

leoliu opened this issue Feb 3, 2025 · 1 comment

Labels

bug

leoliu commented Feb 3, 2025

I wonder if this is normal but it has caught me off-guard a few times. The gist: "🚀" == (#"🚀" :> string) is false.

See https://rescript-lang.org/try?version=v12.0.0-alpha.8&module=esmodule&code=C4TwDgpgBMULxQNoGIBEheDcAF7qA+yQC6AUADYSwAeAXDPFGlqqeVCDcAvkQFIDOAdCQD2AcwAUGbPARiKUKgD4ovYACcAlgDsRASh08Bw8ahCppUMSHlKVG7XqA

The text was updated successfully, but these errors were encountered:

cometkim added the bug label

Member

cometkim commented Feb 4, 2025

This is definitely a bug, but it makes me think of the constraint. It seems to be not clearly defined.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment