summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/src
diff options
context:
space:
mode:
Diffstat (limited to 'dhall_generated_parser/src')
l---------dhall_generated_parser/src/dhall.abnf1
-rw-r--r--dhall_generated_parser/src/dhall.pest.visibility141
-rw-r--r--dhall_generated_parser/src/lib.rs10
3 files changed, 152 insertions, 0 deletions
diff --git a/dhall_generated_parser/src/dhall.abnf b/dhall_generated_parser/src/dhall.abnf
new file mode 120000
index 0000000..ce13b8e
--- /dev/null
+++ b/dhall_generated_parser/src/dhall.abnf
@@ -0,0 +1 @@
+../../dhall-lang/standard/dhall.abnf \ No newline at end of file
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility
new file mode 100644
index 0000000..f881a50
--- /dev/null
+++ b/dhall_generated_parser/src/dhall.pest.visibility
@@ -0,0 +1,141 @@
+# end_of_line
+# tab
+# block_comment
+# block_comment_chunk
+# block_comment_continue
+# not_end_of_line
+# line_comment
+# whitespace_chunk
+# whsp
+# whsp1
+# ALPHA
+# DIGIT
+# HEXDIG
+# simple_label_first_char
+# simple_label_next_char
+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
+# Infinity
+NaN
+Some
+# keyword
+Optional
+Text
+List
+# combine
+# combine_types
+# prefer
+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
+# userinfo
+# host
+# port
+# IP_literal
+# IPvFuture
+# IPv6address
+# h16
+# ls32
+# IPv4address
+# dec_octet
+# reg_name
+# pchar
+query
+# pct_encoded
+# unreserved
+# sub_delims
+http
+env
+bash_environment_variable
+posix_environment_variable
+# posix_environment_variable_character
+import_type
+hash
+import_hashed
+import
+expression
+annotated_expression
+let_binding
+empty_collection
+non_empty_optional
+# operator_expression
+import_alt_expression
+or_expression
+plus_expression
+text_append_expression
+list_append_expression
+and_expression
+combine_expression
+prefer_expression
+combine_types_expression
+times_expression
+equal_expression
+not_equal_expression
+application_expression
+# import_expression
+selector_expression
+selector
+labels
+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
+# complete_expression
diff --git a/dhall_generated_parser/src/lib.rs b/dhall_generated_parser/src/lib.rs
new file mode 100644
index 0000000..97a0d54
--- /dev/null
+++ b/dhall_generated_parser/src/lib.rs
@@ -0,0 +1,10 @@
+// This crate only contains the grammar-generated parser. The rest of the
+// parser is in dhall_core. This separation is because compiling the
+// grammar-generated parser is extremely slow.
+// See the https://pest.rs documentation for details on what this crate contains.
+// The pest file is auto-generated and is located at ./dhall.pest.
+// It is generated from grammar.abnf in a rather straightforward manner. Some
+// additional overrides are done in ../build.rs.
+// The lines that are commented out in ./dhall.pest.visibility are marked as
+// silent (see pest docs for what that means) in the generated pest file.
+include!(concat!(env!("OUT_DIR"), "/grammar.rs"));