Update dhall-lang submodule

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();