From a4e8f799fb4665b210086c28647e0fa335384913 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 13 Apr 2019 12:08:14 +0200 Subject: Clarify role of dhall_generated_parser crate --- dhall_parser/src/dhall.abnf | 1 - dhall_parser/src/dhall.pest.visibility | 141 --------------------------------- dhall_parser/src/lib.rs | 14 ---- 3 files changed, 156 deletions(-) delete mode 120000 dhall_parser/src/dhall.abnf delete mode 100644 dhall_parser/src/dhall.pest.visibility delete mode 100644 dhall_parser/src/lib.rs (limited to 'dhall_parser/src') diff --git a/dhall_parser/src/dhall.abnf b/dhall_parser/src/dhall.abnf deleted file mode 120000 index ce13b8e..0000000 --- a/dhall_parser/src/dhall.abnf +++ /dev/null @@ -1 +0,0 @@ -../../dhall-lang/standard/dhall.abnf \ No newline at end of file diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility deleted file mode 100644 index f881a50..0000000 --- a/dhall_parser/src/dhall.pest.visibility +++ /dev/null @@ -1,141 +0,0 @@ -# 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_parser/src/lib.rs b/dhall_parser/src/lib.rs deleted file mode 100644 index e0843af..0000000 --- a/dhall_parser/src/lib.rs +++ /dev/null @@ -1,14 +0,0 @@ -// 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. Eventually, the whole parser -// should probably be moved to here. -// 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. -// The abnf file has quite a lot of modifications compared to the one from -// the standard. Hopefully those changes should be merged upstream, but for now -// feel free to edit it to make parsing easier. -include!(concat!(env!("OUT_DIR"), "/grammar.rs")); -- cgit v1.2.3