summaryrefslogtreecommitdiff
path: root/dhall_parser/src
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall_parser/src/dhall.abnf4
-rw-r--r--dhall_parser/src/dhall.pest.visibility2
2 files changed, 4 insertions, 2 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
diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility
index 8610f7b..00075d3 100644
--- a/dhall_parser/src/dhall.pest.visibility
+++ b/dhall_parser/src/dhall.pest.visibility
@@ -92,7 +92,7 @@ identifier_raw
identifier
# path_character
# quoted_path_character
-# path_component
+path_component
path
# local_raw
scheme