diff options
author | Nadrieril | 2019-12-27 13:51:02 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-27 13:51:02 +0000 |
commit | 20be0a856a8e317418b6674262baa05653f79832 (patch) | |
tree | 38af96a03d52c0b12c496f51e1f542c29c8b9e46 /dhall/src/syntax/text | |
parent | 12e7626c9fd8c1c1699bc0043b6524704dc6be82 (diff) |
Update dhall-lang submodule
Diffstat (limited to 'dhall/src/syntax/text')
-rw-r--r-- | dhall/src/syntax/text/parser.rs | 15 |
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(); |