AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-09-22 12:39:52 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #924 from AleoHQ/doc/rfc-strings

Browse Source 
Make PR for Eric M.'s edits on the doc/rfc-strings branch
This commit is contained in:
Alessandro Coglio 2021-05-05 21:45:48 -07:00 committed by GitHub
commit 15deef6dab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/rfc/001-initial-strings.md
View File

@ -91,15 +91,16 @@ namely _[TODO: Decide which other escapes we want to allow, e.g. `'\n'`.]_
* `\"`
We also allow Unicode escapes of the form `'\u{X}'`,
where `X` is a sequence of one or more hex digits
where `X` is a sequence of one to six hex digits
(both uppercase and lowercase letters are allowed)
whose value must be between 0 and 10FFFFh.
whose value must be between 0 and 10FFFF, inclusive.
Note that the literal character is assembled by the compiler---for
creating literals, there is no need for the circuit to know
which codepoints are disallowed.
_[TODO: Do we want a different notation for Unicode escapes?
Note that the `{` `}` delimiters are motivated by the fact that
there may be a varying number of hex digits in this notation.]_
This notation is supported by both Javascript and Rust.
_[TODO: Which (initial) built-in or library operations
do we want to provide for `char` values?]_