diff options
author | Nadrieril | 2020-02-20 19:04:13 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-20 19:04:13 +0000 |
commit | 6642077368497583113d685d351ec93d230ffcad (patch) | |
tree | 51f42d5525bdcde81834a28b2b3742472cbac56a /dhall/build.rs | |
parent | 0e07c9cd012efaeae7e1c50a3499a13aef4d2b61 (diff) |
Add support for dotted field syntax
Diffstat (limited to '')
-rw-r--r-- | dhall/build.rs | 20 |
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!( |