summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-12-27 13:51:02 +0000
committerNadrieril2019-12-27 13:51:02 +0000
commit20be0a856a8e317418b6674262baa05653f79832 (patch)
tree38af96a03d52c0b12c496f51e1f542c29c8b9e46 /dhall/src
parent12e7626c9fd8c1c1699bc0043b6524704dc6be82 (diff)
Update dhall-lang submodule
Diffstat (limited to 'dhall/src')
-rw-r--r--dhall/src/syntax/text/parser.rs15
1 files changed, 7 insertions, 8 deletions
diff --git a/dhall/src/syntax/text/parser.rs b/dhall/src/syntax/text/parser.rs
index feaa2a5..ef1471f 100644
--- a/dhall/src/syntax/text/parser.rs
+++ b/dhall/src/syntax/text/parser.rs
@@ -183,14 +183,13 @@ 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"),
- // ))
- // }
+ #[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();