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

[ABNF] Improve a rule name.

Browse Source 
Rename `end-of-line-comment` to the shorter `line-comment`, which is also
consistent with the ABNF gramar of Aleo instructions.
This commit is contained in:
Alessandro Coglio 2022-09-17 21:26:09 -07:00
parent 491bc2271d
commit f6b3870769
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -59,7 +59,7 @@ not-double-quote-or-backslash-or-line-feed-or-carriage-return =
%x0-9 / %xB-C / %xE-21 / %x23-5B / %x5D-7F / safe-nonascii %x0-9 / %xB-C / %xE-21 / %x23-5B / %x5D-7F / safe-nonascii
; anything but " or \ or <LF> or <CR> ; anything but " or \ or <LF> or <CR>
comment = block-comment / end-of-line-comment comment = block-comment / line-comment
block-comment = "/*" rest-of-block-comment block-comment = "/*" rest-of-block-comment
@ -74,7 +74,7 @@ rest-of-block-comment-after-star =
/ not-star-or-slash-or-line-feed-or-carriage-return rest-of-block-comment / not-star-or-slash-or-line-feed-or-carriage-return rest-of-block-comment
/ line-terminator rest-of-block-comment / line-terminator rest-of-block-comment
end-of-line-comment = "//" *not-line-feed-or-carriage-return line-comment = "//" *not-line-feed-or-carriage-return
keyword = %s"address" keyword = %s"address"
/ %s"bool" / %s"bool"