diff options
Diffstat (limited to '')
| -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(); |