From e294450e1e76491e96019b8a3695463e09d1739b Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 22 Dec 2019 19:02:18 +0000 Subject: Implement parsing for record completion --- dhall/src/dhall.pest.visibility | 2 ++ 1 file changed, 2 insertions(+) (limited to 'dhall/src/dhall.pest.visibility') diff --git a/dhall/src/dhall.pest.visibility b/dhall/src/dhall.pest.visibility index 17c1edc..41aa833 100644 --- a/dhall/src/dhall.pest.visibility +++ b/dhall/src/dhall.pest.visibility @@ -91,6 +91,7 @@ prefer lambda forall arrow +# complete # exponent numeric_double_literal minus_infinity_literal @@ -161,6 +162,7 @@ equivalent_expression application_expression first_application_expression # import_expression +completion_expression selector_expression selector labels -- cgit v1.2.3 From 4c7deccba50cb6d46134362128e3cb25c693c153 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 23 Dec 2019 22:30:27 +0000 Subject: Update dhall-lang submodule --- dhall/src/dhall.pest.visibility | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'dhall/src/dhall.pest.visibility') diff --git a/dhall/src/dhall.pest.visibility b/dhall/src/dhall.pest.visibility index 41aa833..5d3b4c8 100644 --- a/dhall/src/dhall.pest.visibility +++ b/dhall/src/dhall.pest.visibility @@ -24,6 +24,10 @@ quoted_label double_quote_chunk double_quote_escaped # unicode_escape +# unicode_suffix +# unbraced_escape +# braced_codepoint +# braced_escape double_quote_char double_quote_literal single_quote_continue -- cgit v1.2.3 From 5f52c5bda0277edd87323eb67dcda721cd18a9d3 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 24 Dec 2019 20:23:19 +0000 Subject: Extend merge to work on Optionals --- dhall/src/dhall.pest.visibility | 1 + 1 file changed, 1 insertion(+) (limited to 'dhall/src/dhall.pest.visibility') diff --git a/dhall/src/dhall.pest.visibility b/dhall/src/dhall.pest.visibility index 5d3b4c8..03a000b 100644 --- a/dhall/src/dhall.pest.visibility +++ b/dhall/src/dhall.pest.visibility @@ -21,6 +21,7 @@ quoted_label # label # nonreserved_label # any_label +any_label_or_some double_quote_chunk double_quote_escaped # unicode_escape -- cgit v1.2.3