From 69d310da1e4c4563ce41424f776879102b62d9a0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 2 May 2019 21:52:52 +0200
Subject: Update dhall-lang submodule

---
 dhall_generated_parser/build.rs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'dhall_generated_parser/build.rs')

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.")?;
@@ -40,6 +41,12 @@ fn main() -> std::io::Result<()> {
             | !keyword ~ simple_label_first_char ~ simple_label_next_char*
     }}"
     )?;
+    writeln!(
+        &mut file,
+        "nonreserved_label = _{{
+            !(builtin ~ !simple_label_next_char) ~ label
+    }}"
+    )?;
     writeln!(
         &mut file,
         "final_expression = ${{ SOI ~ complete_expression ~ EOI }}"
-- 
cgit v1.2.3