diff options
author | Nadrieril | 2020-03-12 18:13:44 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-12 18:13:44 +0000 |
commit | bff6c3e82ef177c683bd69e39396285e567bd38b (patch) | |
tree | b9ebf5440aefb83892f1ccf4beb408664094809f /dhall/build.rs | |
parent | 66972b05e5996132a83332ef0c6879c3a1679dc7 (diff) |
Upstream the `with` grammar tweak
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 6a0a3bf..ce677e3 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -374,19 +374,6 @@ fn convert_abnf_to_pest() -> std::io::Result<()> { rules.remove("url_path"); writeln!(&mut file, "url_path = _{{ path }}")?; - // TODO: upstream this tweak - rules.remove("with_expression"); - writeln!( - &mut file, - r#" - with_expression = {{ application_expression ~ (whsp1 ~ with ~ whsp1 ~ with_clause)* }} - with_clause = {{ - any_label_or_some ~ (whsp ~ "." ~ whsp ~ any_label_or_some)* - ~ whsp ~ "=" ~ whsp ~ application_expression - }} - "# - )?; - // Work around some greediness issue in the grammar. rules.remove("missing"); writeln!( |