summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/build.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall_generated_parser/build.rs6
1 files changed, 6 insertions, 0 deletions
diff --git a/dhall_generated_parser/build.rs b/dhall_generated_parser/build.rs
index 744cb3d..2c1a8f5 100644
--- a/dhall_generated_parser/build.rs
+++ b/dhall_generated_parser/build.rs
@@ -27,6 +27,7 @@ fn main() -> std::io::Result<()> {
}
}
rules.remove("http");
+ rules.remove("url_path");
rules.remove("simple_label");
rules.remove("nonreserved_label");
@@ -53,6 +54,11 @@ fn main() -> std::io::Result<()> {
~ (import_hashed | ^\"(\" ~ whsp ~ import_hashed ~ whsp ~ ^\")\"))?
}}"
)?;
+ // TODO: this is a cheat; properly support RFC3986 URLs instead
+ writeln!(
+ &mut file,
+ "url_path = _{{ path }}"
+ )?;
writeln!(
&mut file,
"nonreserved_label = _{{