diff options
| author | Nadrieril | 2020-03-10 16:34:59 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-10 16:35:53 +0000 |
| commit | 0169e9347ec7ffcf86066e1e5753ce5f77e71bc7 (patch) | |
| tree | 7d179c9300d7c46a1251bb0e819157107528e316 /dhall/src/syntax/text/dhall.pest.visibility | |
| parent | 3f9194f47185fe30c9e410aa7c5e651df9694b3f (diff) | |
Add support for `with` keyword
Diffstat (limited to 'dhall/src/syntax/text/dhall.pest.visibility')
| -rw-r--r-- | dhall/src/syntax/text/dhall.pest.visibility | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/src/syntax/text/dhall.pest.visibility b/dhall/src/syntax/text/dhall.pest.visibility index 03a000b..0ff1bfe 100644 --- a/dhall/src/syntax/text/dhall.pest.visibility +++ b/dhall/src/syntax/text/dhall.pest.visibility @@ -95,6 +95,7 @@ equivalent prefer lambda forall +# with arrow # complete # exponent @@ -164,6 +165,8 @@ times_expression equal_expression not_equal_expression equivalent_expression +with_expression +with_clause application_expression first_application_expression # import_expression |