From 4c7deccba50cb6d46134362128e3cb25c693c153 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 23 Dec 2019 22:30:27 +0000
Subject: Update dhall-lang submodule

---
 dhall/build.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 70389bf..981e558 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -414,12 +414,20 @@ fn convert_abnf_to_pest() -> std::io::Result<()> {
     rules.remove("url_path");
     writeln!(&mut file, "url_path = _{{ path }}")?;
 
+    // Work around some greediness issue in the grammar.
     rules.remove("missing");
     writeln!(
         &mut file,
         r#"missing = {{ "missing" ~ !simple_label_next_char }}"#
     )?;
 
+    // Prefer my nice error message to illegible parse errors.
+    rules.remove("unicode_escape");
+    writeln!(
+        &mut file,
+        r#"unicode_escape = _{{ HEXDIG{{4}} | "{{" ~ HEXDIG+ ~ "}}" }}"#
+    )?;
+
     rules.remove("simple_label");
     writeln!(
         &mut file,
-- 
cgit v1.2.3