diff options
author | Nadrieril | 2019-04-16 22:35:26 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-16 22:35:26 +0200 |
commit | c8db72fee29f6b7e3dc37873803ac0ac9eee9fdc (patch) | |
tree | c329972fc52bf04ce8d1b9d0fa2a33726ddf5203 /dhall_generated_parser | |
parent | e5d40d38735afb4252d6f25ee8f834f9b097e0f7 (diff) |
Update dhall-lang submodule
Diffstat (limited to 'dhall_generated_parser')
-rw-r--r-- | dhall_generated_parser/src/dhall.pest.visibility | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility index 4d8f3db..c3f7540 100644 --- a/dhall_generated_parser/src/dhall.pest.visibility +++ b/dhall_generated_parser/src/dhall.pest.visibility @@ -1,7 +1,7 @@ # end_of_line # tab # block_comment -# block_comment_chunk +# block_comment_char # block_comment_continue # not_end_of_line # line_comment @@ -118,6 +118,7 @@ times_expression equal_expression not_equal_expression application_expression +first_application_expression # import_expression selector_expression selector |