summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/text/dhall.pest.visibility
diff options
context:
space:
mode:
authorNadrieril2020-03-20 11:09:51 +0000
committerNadrieril2020-03-20 11:11:06 +0000
commit159b2ccede0d5559fe3ff9681ccfff314e608b35 (patch)
tree33ed2e15ea5c4873f31b953760b494569ae3b9a7 /dhall/src/syntax/text/dhall.pest.visibility
parentcf91173c6e9f57dc9e9dbd9a34dca28d093fa7d9 (diff)
Parse RFC3986 URLs
Diffstat (limited to 'dhall/src/syntax/text/dhall.pest.visibility')
-rw-r--r--dhall/src/syntax/text/dhall.pest.visibility2
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall/src/syntax/text/dhall.pest.visibility b/dhall/src/syntax/text/dhall.pest.visibility
index 2a89076..b2114ce 100644
--- a/dhall/src/syntax/text/dhall.pest.visibility
+++ b/dhall/src/syntax/text/dhall.pest.visibility
@@ -120,6 +120,7 @@ home_path
absolute_path
scheme
http_raw
+url_path
authority
# userinfo
# host
@@ -133,6 +134,7 @@ authority
# dec_octet
# domain
# domainlabel
+segment
# pchar
query
# pct_encoded