diff options
| author | Nadrieril | 2019-04-04 21:43:41 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-04 21:43:41 +0200 |
| commit | 3e4b2dcb8c371045737901c0d49f9d9403109ea0 (patch) | |
| tree | aa218fd266112604a63390e8a45b3cef0c84f3b6 /dhall_parser/src | |
| parent | 08596e55a3e71f2fd636494aaa232e1cf476e4ac (diff) | |
Get keyword rule from upstream
Diffstat (limited to '')
| -rw-r--r-- | dhall_parser/src/dhall.abnf | 9 | ||||
| -rw-r--r-- | dhall_parser/src/dhall.pest.visibility | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/dhall_parser/src/dhall.abnf b/dhall_parser/src/dhall.abnf index 4aa3fec..01ec6d8 100644 --- a/dhall_parser/src/dhall.abnf +++ b/dhall_parser/src/dhall.abnf @@ -291,6 +291,15 @@ Infinity = %x49.6e.66.69.6e.69.74.79 NaN = %x4e.61.4e
Some = %x53.6f.6d.65
+; Unused rule that could be used as negative lookahead in the
+; `simple-label` rule for parsers that support this.
+keyword =
+ if / then / else
+ / let / in
+ / using / missing / as
+ / Infinity / NaN
+ / merge / Some
+
; Reserved identifiers, only needed for some special cases of parsing
Optional = %x4f.70.74.69.6f.6e.61.6c
Text = %x54.65.78.74
diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility index 63a4179..8205cc8 100644 --- a/dhall_parser/src/dhall.pest.visibility +++ b/dhall_parser/src/dhall.pest.visibility @@ -44,6 +44,7 @@ in_ # using merge # Infinity +# keyword Optional Text List |