From 65177c425c294dd18fb74136afb2622d02de8c7c Mon Sep 17 00:00:00 2001
From: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
Date: Mon, 27 Dec 2021 12:48:58 -0800
Subject: [PATCH] Update grammar.md

This changes the grammar to follow the EBNF rules more rigorously, most significantly quoting all keywords.
---
 docs/_pages/grammar.md | 108 ++++++++++++++++++++---------------------
 1 file changed, 54 insertions(+), 54 deletions(-)

diff --git a/docs/_pages/grammar.md b/docs/_pages/grammar.md
index 74a5c8aa..0ba49b33 100644
--- a/docs/_pages/grammar.md
+++ b/docs/_pages/grammar.md
@@ -10,73 +10,73 @@ is available in the [syntax section](syntax).
 > Note: this grammar is currently missing type pack syntax for generic arguments
 
 ```ebnf
-chunk ::= {stat [`;']} [laststat [`;']]
-block ::= chunk
-stat ::= varlist `=' explist |
+chunk = block
+block = {stat [';']} [laststat [';']]
+stat = varlist '=' explist |
     var compoundop exp |
     functioncall |
-    do block end |
-    while exp do block end |
-    repeat block until exp |
-    if exp then block {elseif exp then block} [else block] end |
-    for binding `=' exp `,' exp [`,' exp] do block end |
-    for bindinglist in explist do block end |
-    function funcname funcbody |
-    local function NAME funcbody |
-    local bindinglist [`=' explist] |
-    [export] type NAME [`<' GenericTypeList `>'] `=' Type
+    'do' block 'end' |
+    'while' exp 'do' block 'end' |
+    'repeat' block 'until' exp |
+    'if' exp 'then' block {'elseif' exp 'then' block} ['else' block] 'end' |
+    'for' binding '=' exp ',' exp [',' exp] 'do' block 'end' |
+    'for' bindinglist 'in' explist 'do' block 'end' |
+    'function' funcname funcbody |
+    'local' 'function' NAME funcbody |
+    'local' bindinglist ['=' explist] |
+    ['export'] type NAME ['<' GenericTypeList '>'] '=' Type
 
-laststat ::= return [explist] | break | continue
+laststat = 'return' [explist] | 'break' | 'continue'
 
-funcname ::= NAME {`.' NAME} [`:' NAME]
-funcbody ::= `(' [parlist] `)' [`:' ReturnType] block end
-parlist ::= bindinglist [`,' `...'] | `...'
+funcname = NAME {'.' NAME} [':' NAME]
+funcbody = '(' [parlist] ')' [':' ReturnType] block 'end'
+parlist = bindinglist [',' '...'] | '...'
 
-explist ::= {exp `,'} exp
-namelist ::= NAME {`,' NAME}
+explist = {exp ','} exp
+namelist = NAME {',' NAME}
 
-binding ::= NAME [`:' TypeAnnotation]
-bindinglist ::= binding [`,' bindinglist] (* equivalent of Lua 5.1 `namelist`, except with optional type annotations *)
+binding = NAME [':' TypeAnnotation]
+bindinglist = binding [',' bindinglist] (* equivalent of Lua 5.1 'namelist', except with optional type annotations *)
 
-var ::= NAME | prefixexp `[' exp `]' | prefixexp `.' Name
-varlist ::= var {`,' var}
-prefixexp ::= var | functioncall | `(' exp `)'
-functioncall ::= prefixexp funcargs | prefixexp `:' NAME funcargs
+var = NAME | prefixexp '[' exp ']' | prefixexp '.' Name
+varlist = var {',' var}
+prefixexp = var | functioncall | '(' exp ')'
+functioncall = prefixexp funcargs | prefixexp ':' NAME funcargs
 
-exp ::= (asexp | unop exp) { binop exp }
-ifelseexp ::= if exp then exp {elseif exp then exp} else exp
-asexp ::= simpleexp [`::' Type]
-simpleexp ::= NUMBER | STRING | nil | true | false | `...' | tableconstructor | function body | prefixexp | ifelseexp
-funcargs ::=  `(' [explist] `)' | tableconstructor | STRING
+exp = (asexp | unop exp) { binop exp }
+ifelseexp = 'if' exp 'then' exp {'elseif' exp 'then' exp} 'else' exp
+asexp = simpleexp ['::' Type]
+simpleexp = NUMBER | STRING | 'nil' | 'true' | 'false' | '...' | tableconstructor | 'function' body | prefixexp | ifelseexp
+funcargs =  '(' [explist] ')' | tableconstructor | STRING
 
-tableconstructor ::= `{' [fieldlist] `}'
-fieldlist ::= field {fieldsep field} [fieldsep]
-field ::= `[' exp `]' `=' exp | NAME `=' exp | exp
-fieldsep ::= `,' | `;'
+tableconstructor = '{' [fieldlist] '}'
+fieldlist = field {fieldsep field} [fieldsep]
+field = '[' exp ']' '=' exp | NAME '=' exp | exp
+fieldsep = ',' | ';'
 
-compoundop :: `+=' | `-=' | `*=' | `/=' | `%=' | `^=' | `..='
-binop ::= `+' | `-' | `*' | `/' | `^' | `%' | `..' | `<' | `<=' | `>' | `>=' | `==' | `~=' | and | or
-unop ::= `-' | not | `#'
+compoundop :: '+=' | '-=' | '*=' | '/=' | '%=' | '^=' | '..='
+binop = '+' | '-' | '*' | '/' | '^' | '%' | '..' | '<' | '<=' | '>' | '>=' | '==' | '~=' | 'and' | 'or'
+unop = '-' | 'not' | '#'
 
-SimpleType ::=
-    nil |
-    NAME[`.' NAME] [ `<' TypeList `>' ] |
-    `typeof' `(' exp `)' |
+SimpleType =
+    'nil' |
+    NAME ['.' NAME] [ '<' TypeList '>' ] |
+    'typeof' '(' exp ')' |
     TableType |
     FunctionType
 
-Type ::=
-    SimpleType [`?`] |
-    SimpleType [`|` Type] |
-    SimpleType [`&` Type]
+Type =
+    SimpleType ['?'] |
+    SimpleType ['|' Type] |
+    SimpleType ['&' Type]
 
-GenericTypeList ::= NAME [`...'] {`,' NAME [`...']}
-TypeList ::= Type [`,' TypeList] | ...Type
-ReturnType ::= Type | `(' TypeList `)'
-TableIndexer ::= `[' Type `]' `:' Type
-TableProp ::= NAME `:' Type
-TablePropOrIndexer ::= TableProp | TableIndexer
-PropList ::= TablePropOrIndexer {fieldsep TablePropOrIndexer} [fieldsep]
-TableType ::= `{' PropList `}'
-FunctionType ::= [`<' GenericTypeList `>'] `(' [TypeList] `)' `->` ReturnType
+GenericTypeList = NAME ['...'] {',' NAME ['...']}
+TypeList = Type [',' TypeList] | '...' Type
+ReturnType = Type | '(' TypeList ')'
+TableIndexer = '[' Type ']' ':' Type
+TableProp = NAME ':' Type
+TablePropOrIndexer = TableProp | TableIndexer
+PropList = TablePropOrIndexer {fieldsep TablePropOrIndexer} [fieldsep]
+TableType = '{' PropList '}'
+FunctionType = ['<' GenericTypeList '>'] '(' [TypeList] ')' '->' ReturnType
 ```