diff options
Diffstat (limited to 'dhall_parser/src/dhall.abnf')
| -rw-r--r-- | dhall_parser/src/dhall.abnf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dhall_parser/src/dhall.abnf b/dhall_parser/src/dhall.abnf index d803770..c5c9a84 100644 --- a/dhall_parser/src/dhall.abnf +++ b/dhall_parser/src/dhall.abnf @@ -378,8 +378,10 @@ quoted-path-character = ; %x2F = "/"
/ %x30-10FFFF
+unquoted-path-component = 1*path-character
+quoted-path-component = 1*quoted-path-character
-path-component = "/" ( 1*path-character / %x22 1*quoted-path-character %x22 )
+path-component = "/" ( unquoted-path-component / %x22 quoted-path-component %x22 )
path = 1*path-component
|