Merge pull request #143 from Nadrieril/record-puns

Implement record puns

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!(