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 +++++
 dhall_generated_parser/src/dhall.pest.visibility | 38 ++++++++++++++++++++++--
 2 files changed, 42 insertions(+), 3 deletions(-)

(limited to 'dhall_generated_parser')

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 }}"
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility
index bb0210d..e9236d4 100644
--- a/dhall_generated_parser/src/dhall.pest.visibility
+++ b/dhall_generated_parser/src/dhall.pest.visibility
@@ -16,9 +16,9 @@
 simple_label
 # quoted_label_char
 quoted_label
-# label
-nonreserved_label
-any_label
+label
+# nonreserved_label
+# any_label
 double_quote_chunk
 double_quote_escaped
 double_quote_char
@@ -43,9 +43,40 @@ missing
 NaN
 Some_
 # keyword
+builtin
 Optional
 Text
 List
+# Bool
+# True
+# False
+# None_
+# Natural
+# Integer
+# Double
+# Type
+# Kind
+# Sort
+# Natural_fold
+# Natural_build
+# Natural_isZero
+# Natural_even
+# Natural_odd
+# Natural_toInteger
+# Natural_show
+# Integer_toDouble
+# Integer_show
+# Double_show
+# List_build
+# List_fold
+# List_length
+# List_head
+# List_last
+# List_indexed
+# List_reverse
+# Optional_fold
+# Optional_build
+# Text_show
 # combine
 # combine_types
 # prefer
@@ -60,6 +91,7 @@ double_literal
 natural_literal
 integer_literal
 identifier
+variable
 # path_character
 # quoted_path_character
 unquoted_path_component
-- 
cgit v1.2.3