summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/src/dhall.pest.visibility
diff options
context:
space:
mode:
authorNadrieril2019-05-02 21:52:52 +0200
committerNadrieril2019-05-02 21:52:52 +0200
commit69d310da1e4c4563ce41424f776879102b62d9a0 (patch)
treefe74a247f0ae61a6f766561a613841dd19f94fb9 /dhall_generated_parser/src/dhall.pest.visibility
parent361aac5379c05b9592fefc2a947d3c7295b5c4ba (diff)
Update dhall-lang submodule
Diffstat (limited to 'dhall_generated_parser/src/dhall.pest.visibility')
-rw-r--r--dhall_generated_parser/src/dhall.pest.visibility38
1 files changed, 35 insertions, 3 deletions
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