update protected names

This commit is contained in:
collin 2020-07-16 01:06:29 -07:00
parent 0fd7422b68
commit 6f2e468771

View File

@ -11,17 +11,23 @@ identifier = @{ ((!protected_name ~ ASCII_ALPHA) | (protected_name ~ (ASCII_ALPH
protected_name = { protected_name = {
"address" "address"
| "as" | "as"
| "circuit"
| "const" | "const"
| "else" | "else"
| "false" | "false"
| "function" | "field"
| "for" | "for"
| "function"
| "group"
| "if" | "if"
| "import"
| "in" | "in"
| "let" | "let"
| "mut" | "mut"
| "return" | "return"
| "static" | "static"
| "string"
| "test"
| "true" | "true"
} }