diff options
author | Nadrieril Feneanar | 2019-08-27 22:57:47 +0200 |
---|---|---|
committer | GitHub | 2019-08-27 22:57:47 +0200 |
commit | 7d11bebc8f2047bb5a26f7f52ae0bd1f60bb6367 (patch) | |
tree | 95762c307974eab19a8346646e6046e2ef55af9c /dhall_generated_parser | |
parent | 959c13bc68980fe8bc884e3eb46e5e79272a4eba (diff) | |
parent | cddb3b0a0270cf6d41bbaa1a0e01708e91a9673c (diff) |
Merge pull request #107 from Nadrieril/rework-parser
Rework parser macros
Diffstat (limited to '')
-rw-r--r-- | dhall_generated_parser/src/dhall.pest.visibility | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility index 6fa5e01..dcebf45 100644 --- a/dhall_generated_parser/src/dhall.pest.visibility +++ b/dhall_generated_parser/src/dhall.pest.visibility @@ -106,7 +106,7 @@ unquoted_path_component quoted_path_component path_component path -# local +local parent_path here_path home_path @@ -141,7 +141,7 @@ hash import_hashed import expression -annotated_expression +# annotated_expression let_binding empty_list_literal operator_expression @@ -160,7 +160,7 @@ not_equal_expression equivalent_expression application_expression first_application_expression -# import_expression +import_expression selector_expression selector labels |