diff options
| author | Nadrieril | 2019-08-06 20:59:28 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-06 21:42:17 +0200 |
| commit | b3791e91b7cb73778cc21844a6999531bf537f77 (patch) | |
| tree | 986693bbb5647eb84137dad47f75ec897c214a60 /dhall_generated_parser | |
| parent | 054121b427b5344b41a0fb230b69d81ea0b5cd0a (diff) | |
Change URL parsing
Diffstat (limited to 'dhall_generated_parser')
| -rw-r--r-- | dhall_generated_parser/src/dhall.pest.visibility | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility index 97d3a69..24d0a87 100644 --- a/dhall_generated_parser/src/dhall.pest.visibility +++ b/dhall_generated_parser/src/dhall.pest.visibility @@ -10,6 +10,7 @@ # whsp1 # ALPHA # DIGIT +# ALPHANUM # HEXDIG # simple_label_first_char # simple_label_next_char @@ -118,7 +119,8 @@ authority # ls32 # IPv4address # dec_octet -# reg_name +# domain +# domainlabel # pchar query # pct_encoded |