summaryrefslogtreecommitdiff
path: root/dhall_parser/src
diff options
context:
space:
mode:
authorNadrieril2019-04-13 12:08:14 +0200
committerNadrieril2019-04-13 12:08:14 +0200
commita4e8f799fb4665b210086c28647e0fa335384913 (patch)
tree479694d8a26b65f2eee6233450af592d4baf8bd4 /dhall_parser/src
parent5e41c4d1de45e2c799a1471692a715da565387e0 (diff)
Clarify role of dhall_generated_parser crate
Diffstat (limited to 'dhall_parser/src')
l---------dhall_parser/src/dhall.abnf1
-rw-r--r--dhall_parser/src/dhall.pest.visibility141
-rw-r--r--dhall_parser/src/lib.rs14
3 files changed, 0 insertions, 156 deletions
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"));