ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-22 22:44:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

[ABNF] Add a rule for function calls. (#1747)

Browse Source 
* [ABNF] Add a rule for function calls.

This does not change the language. It just slightly reformulates the grammar for
greater clarity and to help establish a nomenclature for constructs.

Also remove a trailing space.

* [ABNF] Re-generate markdown.

Co-authored-by: collin <16715212+collinc97@users.noreply.github.com>
This commit is contained in:
Alessandro Coglio 2022-04-13 21:22:04 +02:00 committed by GitHub
parent 49306f6132
commit 515e471c8b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
docs/grammar/README.md
View File

Binary file not shown.

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

@ -161,7 +161,7 @@ string-literal-element = not-double-quote-or-backslash
/ unicode-character-escape
integer-literal = unsigned-literal
/ signed-literal
/ signed-literal
atomic-literal = integer-literal
/ field-literal
@ -228,7 +228,9 @@ group-literal = product-group-literal / affine-group-literal
primary-expression = identifier
/ literal
/ "(" expression ")"
/ identifier function-arguments
/ function-call
function-call = identifier function-arguments
function-arguments = "(" [ expression *( "," expression ) [ "," ] ] ")"