ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 02:01:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

[ABNF] fix the code point range in the format string grammar, along with a note on what the code points mean

Browse Source
This commit is contained in:
Eric McCarthy 2022-03-24 17:13:58 -07:00
parent 3840e04f00
commit e6752d67a0
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/grammar/README.md
View File

@ -821,9 +821,13 @@ file = *declaration
Format String Grammar
---------------------
The code points mentioned in this grammar represent
the elements of a Leo format string already parsed,
after escapes have been processed.
<a name="not-brace"></a>
```abnf
not-brace = %x0-7A / %x7C / %x7E-D7FF / %xE000-10FFFF ; anything but { or }
not-brace = %x0-7A / %x7C / %x7E-10FFFF ; anything but { or }
```
<a name="format-string-container"></a>

6
docs/grammar/abnf-grammar.txt
View File

@ -329,7 +329,11 @@ file = *declaration
; Format String Grammar
; ---------------------
not-brace = %x0-7A / %x7C / %x7E-D7FF / %xE000-10FFFF ; anything but { or }
; The code points mentioned in this grammar represent
; the elements of a Leo format string already parsed,
; after escapes have been processed.
not-brace = %x0-7A / %x7C / %x7E-10FFFF ; anything but { or }
format-string-container = "{}"