diff options
| author | Nadrieril | 2019-03-23 20:50:25 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-23 20:50:25 +0100 |
| commit | 5531610efbfb1fd80ccf309148dc423a8e46745f (patch) | |
| tree | 7f1b2f578a090a5e90e891d1f400ee03d354cca7 /dhall_parser/src/dhall.pest.visibility | |
| parent | 644659c37cb44429fe64fa1cbcb50068ecb77480 (diff) | |
Inline various rules in grammar
Diffstat (limited to '')
| -rw-r--r-- | dhall_parser/src/dhall.pest.visibility | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility index da5217a..ae3fa84 100644 --- a/dhall_parser/src/dhall.pest.visibility +++ b/dhall_parser/src/dhall.pest.visibility @@ -21,9 +21,7 @@ simple_label # quoted_label_char quoted_label label_raw -# label # any_label_raw -# any_label double_quote_chunk double_quote_escaped double_quote_literal |