summaryrefslogtreecommitdiff
path: root/dhall_generated_parser
diff options
context:
space:
mode:
authorNadrieril2019-08-07 16:28:48 +0200
committerNadrieril2019-08-07 16:28:48 +0200
commit98e7751fb8deb22685b6991367404515c35f502f (patch)
treed6d551dd3c819db65f9bda78de838210a462a9cf /dhall_generated_parser
parentd5c3e8f2ef7438b7ac84be34cfe019ce365ae529 (diff)
Various parsing tweaks
Diffstat (limited to 'dhall_generated_parser')
-rw-r--r--dhall_generated_parser/build.rs11
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,