summaryrefslogtreecommitdiff
path: root/dhall/build.rs
diff options
context:
space:
mode:
authorNadrieril2020-02-20 19:04:13 +0000
committerNadrieril2020-02-20 19:04:13 +0000
commit6642077368497583113d685d351ec93d230ffcad (patch)
tree51f42d5525bdcde81834a28b2b3742472cbac56a /dhall/build.rs
parent0e07c9cd012efaeae7e1c50a3499a13aef4d2b61 (diff)
Add support for dotted field syntax
Diffstat (limited to 'dhall/build.rs')
-rw-r--r--dhall/build.rs20
1 files changed, 0 insertions, 20 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index 88a2145..7c62083 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -375,26 +375,6 @@ fn convert_abnf_to_pest() -> std::io::Result<()> {
rules.remove("url_path");
writeln!(&mut file, "url_path = _{{ path }}")?;
- // TODO: workaround to simplify record parsing
- rules.remove("non_empty_record_type_or_literal");
- rules.remove("non_empty_record_literal");
- rules.remove("non_empty_record_type");
- writeln!(
- &mut file,
- "non_empty_record_type_or_literal = {{ non_empty_record_literal | \
- non_empty_record_type }}"
- )?;
- writeln!(
- &mut file,
- "non_empty_record_literal = {{ record_literal_entry ~ (whsp ~ ^\",\" \
- ~ whsp ~ record_literal_entry)*}}"
- )?;
- writeln!(
- &mut file,
- "non_empty_record_type = {{ record_type_entry ~ (whsp ~ ^\",\" ~ whsp \
- ~ record_type_entry)* }}"
- )?;
-
// Work around some greediness issue in the grammar.
rules.remove("missing");
writeln!(