summaryrefslogtreecommitdiff
path: root/dhall_parser/src/dhall.pest.visibility
diff options
context:
space:
mode:
authorNadrieril2019-04-06 00:41:31 +0200
committerNadrieril2019-04-06 00:41:31 +0200
commit6a675a13fcfafa057c44db84c3b0ca3b344cfdab (patch)
tree76d0f0fc848887d2945d586b58847575ca31d0da /dhall_parser/src/dhall.pest.visibility
parent627287185118482ceb7132f6dedad7111dccf972 (diff)
parent305a2ee7dcd3b3f61bf6877312e3c34767e8bc0c (diff)
Merge branch 'master' into exprf
Diffstat (limited to 'dhall_parser/src/dhall.pest.visibility')
-rw-r--r--dhall_parser/src/dhall.pest.visibility100
1 files changed, 37 insertions, 63 deletions
diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility
index ee5ea2b..f881a50 100644
--- a/dhall_parser/src/dhall.pest.visibility
+++ b/dhall_parser/src/dhall.pest.visibility
@@ -1,5 +1,4 @@
-end_of_line
-# end_of_line_silent
+# end_of_line
# tab
# block_comment
# block_comment_chunk
@@ -7,91 +6,71 @@ end_of_line
# not_end_of_line
# line_comment
# whitespace_chunk
-# whitespace
-# whitespace_
-# nonempty_whitespace
+# whsp
+# whsp1
# ALPHA
# DIGIT
# HEXDIG
# simple_label_first_char
-# simple_label_next_other_char
# simple_label_next_char
-# simple_label_start
simple_label
# quoted_label_char
quoted_label
label
+nonreserved_label
# any_label
double_quote_chunk
double_quote_escaped
+double_quote_char
double_quote_literal
single_quote_continue
+escaped_quote_pair
+escaped_interpolation
+single_quote_char
single_quote_literal
+interpolation
# text_literal
-# if
-# then
-# else
-# let
-# in
-# as
-# using
-# merge
-missing
-# if_
+if_
# then
# else_
# let_
-# in_
+in_
# as_
# using
-# merge
+merge
+missing
# Infinity
+NaN
+Some
+# keyword
Optional
Text
List
-# equal
-# or
-# plus
-# text_append
-# list_append
-# and
-# times
-# double_equal
-# not_equal
-# dot
-# bar
-# comma
-# at
-# colon
-# import_alt
-# open_parens
-# close_parens
-# close_parens
-# open_brace
-# close_brace
-# close_brace
-# open_bracket
-# close_bracket
-# close_bracket
-# open_angle
-# close_angle
-# close_angle
# combine
# combine_types
# prefer
-# lambda
-# forall
-# arrow
+lambda
+forall
+arrow
# exponent
+numeric_double_literal
+minus_infinity_literal
+plus_infinity_literal
double_literal
natural_literal
integer_literal
identifier
# path_character
# quoted_path_character
+unquoted_path_component
+quoted_path_component
path_component
path
# local
+parent_path
+here_path
+home_path
+absolute_path
scheme
http_raw
authority
@@ -108,7 +87,6 @@ authority
# reg_name
# pchar
query
-fragment
# pct_encoded
# unreserved
# sub_delims
@@ -121,17 +99,11 @@ import_type
hash
import_hashed
import
-# expression
-lambda_expression
-ifthenelse_expression
-let_expression
-forall_expression
-arrow_expression
-merge_expression
-# empty_list_or_optional
+expression
+annotated_expression
+let_binding
empty_collection
non_empty_optional
-annotated_expression
# operator_expression
import_alt_expression
or_expression
@@ -146,22 +118,24 @@ times_expression
equal_expression
not_equal_expression
application_expression
-# atomic_expression
# import_expression
selector_expression
selector
labels
-# primitive_expression
-literal_expression
+primitive_expression
# record_type_or_literal
empty_record_literal
empty_record_type
non_empty_record_type_or_literal
non_empty_record_type
+record_type_entry
non_empty_record_literal
+record_literal_entry
union_type_or_literal
empty_union_type
non_empty_union_type_or_literal
+union_literal_variant_value
+union_type_entry
+union_type_or_literal_variant_type
non_empty_list_literal
-# parenthesized_expression
# complete_expression