diff options
| author | Nadrieril | 2019-04-04 21:35:11 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-04 21:35:11 +0200 |
| commit | 08596e55a3e71f2fd636494aaa232e1cf476e4ac (patch) | |
| tree | ae6ca39e0daa1d32fb4a46ab5a858d9b5983e182 /dhall_parser/src | |
| parent | ebbd660008dc783ae6c8bc57ca764309ea463a5e (diff) | |
Handle Some as in upstream grammar
Diffstat (limited to 'dhall_parser/src')
| -rw-r--r-- | dhall_parser/src/dhall.abnf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_parser/src/dhall.abnf b/dhall_parser/src/dhall.abnf index 0f07a20..4aa3fec 100644 --- a/dhall_parser/src/dhall.abnf +++ b/dhall_parser/src/dhall.abnf @@ -602,7 +602,7 @@ not-equal-expression = application-expression *(whsp "!=" whsp application ; would be ambiguity: `./ab` could be interpreted as "import the file `./ab`",
; or "apply the import `./a` to label `b`"
application-expression =
- import-expression *(whsp1 import-expression)
+ [ Some whsp1 ] import-expression *(whsp1 import-expression)
import-expression = import / selector-expression
|