diff options
author | Nadrieril | 2019-08-07 16:28:48 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-07 16:28:48 +0200 |
commit | 98e7751fb8deb22685b6991367404515c35f502f (patch) | |
tree | d6d551dd3c819db65f9bda78de838210a462a9cf /dhall_generated_parser | |
parent | d5c3e8f2ef7438b7ac84be34cfe019ce365ae529 (diff) |
Various parsing tweaks
Diffstat (limited to 'dhall_generated_parser')
-rw-r--r-- | dhall_generated_parser/build.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dhall_generated_parser/build.rs b/dhall_generated_parser/build.rs index 7eba52c..74210bf 100644 --- a/dhall_generated_parser/build.rs +++ b/dhall_generated_parser/build.rs @@ -30,7 +30,6 @@ fn main() -> std::io::Result<()> { rules.remove("url_path"); rules.remove("simple_label"); rules.remove("nonreserved_label"); - rules.remove("first_application_expression"); rules.remove("expression"); let mut file = File::create(pest_path)?; @@ -56,16 +55,6 @@ fn main() -> std::io::Result<()> { ~ (import_hashed | ^\"(\" ~ whsp ~ import_hashed ~ whsp ~ ^\")\"))? }}" )?; - // TODO: hack while waiting to catch up on commit e7fdf9d of the spec - writeln!( - &mut file, - "first_application_expression = {{ - merge ~ whsp1 ~ import_expression ~ whsp1 ~ import_expression - | Some_ ~ whsp1 ~ import_expression - | toMap ~ whsp1 ~ import_expression - | import_expression - }}" - )?; // TODO: hack; we'll need to upstream a change to the grammar writeln!( &mut file, |