From 0169e9347ec7ffcf86066e1e5753ce5f77e71bc7 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 10 Mar 2020 16:34:59 +0000 Subject: Add support for `with` keyword --- dhall/src/syntax/text/dhall.pest.visibility | 3 +++ 1 file changed, 3 insertions(+) (limited to 'dhall/src/syntax/text/dhall.pest.visibility') 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 -- cgit v1.2.3