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/src/dhall.pest.visibility | 38 ++++++++++++++++++++++--
 1 file changed, 35 insertions(+), 3 deletions(-)

(limited to 'dhall_generated_parser/src/dhall.pest.visibility')

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