diff options
| author | Nadrieril | 2020-03-20 11:09:51 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-20 11:11:06 +0000 |
| commit | 159b2ccede0d5559fe3ff9681ccfff314e608b35 (patch) | |
| tree | 33ed2e15ea5c4873f31b953760b494569ae3b9a7 /dhall/src/syntax/text/dhall.pest.visibility | |
| parent | cf91173c6e9f57dc9e9dbd9a34dca28d093fa7d9 (diff) | |
Parse RFC3986 URLs
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/syntax/text/dhall.pest.visibility | 2 |
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 |