summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-08-06 20:59:28 +0200
committerNadrieril2019-08-06 21:42:17 +0200
commitb3791e91b7cb73778cc21844a6999531bf537f77 (patch)
tree986693bbb5647eb84137dad47f75ec897c214a60
parent054121b427b5344b41a0fb230b69d81ea0b5cd0a (diff)
Change URL parsing
m---------dhall-lang0
-rw-r--r--dhall/build.rs1
-rw-r--r--dhall_generated_parser/src/dhall.pest.visibility4
3 files changed, 4 insertions, 1 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 65aa7435040141dd30d5983695b7ebdb4224b28
+Subproject 40c3e57a4f09448b5a7c9d203a81b64f50ed30b
diff --git a/dhall/build.rs b/dhall/build.rs
index db66e3c..2fa63c6 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -100,6 +100,7 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/import/urls/emptyPath0"
|| path == "success/unit/import/urls/emptyPath1"
|| path == "success/unit/import/urls/emptyPathSegment"
+ || path == "success/unit/import/urls/potPourri"
},
)?;
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