diff options
author | Nadrieril | 2019-05-02 21:52:52 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-02 21:52:52 +0200 |
commit | 69d310da1e4c4563ce41424f776879102b62d9a0 (patch) | |
tree | fe74a247f0ae61a6f766561a613841dd19f94fb9 /dhall_generated_parser/build.rs | |
parent | 361aac5379c05b9592fefc2a947d3c7295b5c4ba (diff) |
Update dhall-lang submodule
Diffstat (limited to 'dhall_generated_parser/build.rs')
-rw-r--r-- | dhall_generated_parser/build.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dhall_generated_parser/build.rs b/dhall_generated_parser/build.rs index 615a55c..eab48bf 100644 --- a/dhall_generated_parser/build.rs +++ b/dhall_generated_parser/build.rs @@ -27,6 +27,7 @@ fn main() -> std::io::Result<()> { } } rules.remove("simple_label"); + rules.remove("nonreserved_label"); let mut file = File::create(pest_path)?; writeln!(&mut file, "// AUTO-GENERATED FILE. See build.rs.")?; @@ -42,6 +43,12 @@ fn main() -> std::io::Result<()> { )?; writeln!( &mut file, + "nonreserved_label = _{{ + !(builtin ~ !simple_label_next_char) ~ label + }}" + )?; + writeln!( + &mut file, "final_expression = ${{ SOI ~ complete_expression ~ EOI }}" )?; |