diff options
| author | Nadrieril | 2019-05-02 21:52:52 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-02 21:52:52 +0200 |
| commit | 69d310da1e4c4563ce41424f776879102b62d9a0 (patch) | |
| tree | fe74a247f0ae61a6f766561a613841dd19f94fb9 /dhall_generated_parser/src/dhall.pest.visibility | |
| parent | 361aac5379c05b9592fefc2a947d3c7295b5c4ba (diff) | |
Update dhall-lang submodule
Diffstat (limited to 'dhall_generated_parser/src/dhall.pest.visibility')
| -rw-r--r-- | dhall_generated_parser/src/dhall.pest.visibility | 38 |
1 files changed, 35 insertions, 3 deletions
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility index bb0210d..e9236d4 100644 --- a/dhall_generated_parser/src/dhall.pest.visibility +++ b/dhall_generated_parser/src/dhall.pest.visibility @@ -16,9 +16,9 @@ simple_label # quoted_label_char quoted_label -# label -nonreserved_label -any_label +label +# nonreserved_label +# any_label double_quote_chunk double_quote_escaped double_quote_char @@ -43,9 +43,40 @@ missing NaN Some_ # keyword +builtin Optional Text List +# Bool +# True +# False +# None_ +# Natural +# Integer +# Double +# Type +# Kind +# Sort +# Natural_fold +# Natural_build +# Natural_isZero +# Natural_even +# Natural_odd +# Natural_toInteger +# Natural_show +# Integer_toDouble +# Integer_show +# Double_show +# List_build +# List_fold +# List_length +# List_head +# List_last +# List_indexed +# List_reverse +# Optional_fold +# Optional_build +# Text_show # combine # combine_types # prefer @@ -60,6 +91,7 @@ double_literal natural_literal integer_literal identifier +variable # path_character # quoted_path_character unquoted_path_component |