Open bobzhang opened 1 year ago
seems to be relevant to #617, the title is a bit misleading, it is not strange symbols though
Yes, this is as spec'ed in the standard, and it is rather intentional that program text (outside strings and comments) is limited to plain ASCII. Unicode identifiers are a can of worms, as explained in the other issue.
The ability to annotate richer print names is part of the annotations proposal.
According to the reference interpreter
Currently I can only write ascii letters in the wat syntax,
(local $var)
. It is a bit awkward to encode other utf8 letters in the wat syntax, so people can write(local $你好)
.It is a bit worse in the current situation, since no escaping syntax supported so we have to do some magic encoding here