diff options
Diffstat (limited to 'dhall_generated_parser/src')
| l--------- | dhall_generated_parser/src/dhall.abnf | 1 | ||||
| -rw-r--r-- | dhall_generated_parser/src/dhall.pest.visibility | 141 | ||||
| -rw-r--r-- | dhall_generated_parser/src/lib.rs | 10 |
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")); |