diff options
author | Nadrieril | 2019-08-06 20:38:06 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-06 21:42:16 +0200 |
commit | 482be29e0f03e10c2469ef80bdd6ac7593207dc5 (patch) | |
tree | 7af9fba1964751870f4694b27304dde556590668 /dhall_generated_parser/build.rs | |
parent | 2551e6f91110bfe385fa65dd63e576df637c26fa (diff) |
RFC3986 URLs
Diffstat (limited to '')
-rw-r--r-- | dhall_generated_parser/build.rs | 6 |
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 = _{{ |