summaryrefslogtreecommitdiff
path: root/dhall/src/syntax
diff options
context:
space:
mode:
authorNadrieril2019-12-24 20:23:19 +0000
committerNadrieril2019-12-24 20:23:35 +0000
commit5f52c5bda0277edd87323eb67dcda721cd18a9d3 (patch)
treebd7fb979dbad1228655dfc64898d30e7817110b6 /dhall/src/syntax
parentf22eb87b7a7aeccfa556dcdb56148e89cee023db (diff)
Extend merge to work on Optionals
Diffstat (limited to '')
-rw-r--r--dhall/src/syntax/text/parser.rs9
1 files changed, 9 insertions, 0 deletions
diff --git a/dhall/src/syntax/text/parser.rs b/dhall/src/syntax/text/parser.rs
index 0e3e97a..feaa2a5 100644
--- a/dhall/src/syntax/text/parser.rs
+++ b/dhall/src/syntax/text/parser.rs
@@ -183,6 +183,15 @@ impl DhallParser {
Ok(Label::from(input.as_str()))
}
+ // TODO: waiting for https://github.com/dhall-lang/dhall-lang/pull/871
+ // #[alias(label)]
+ // fn any_label_or_some(input: ParseInput) -> ParseResult<Label> {
+ // Ok(match_nodes!(input.into_children();
+ // [label(l)] => l,
+ // [Some_(_)] => Label::from("Some"),
+ // ))
+ // }
+
fn double_quote_literal(input: ParseInput) -> ParseResult<ParsedText> {
Ok(match_nodes!(input.into_children();
[double_quote_chunk(chunks)..] => {