From 20be0a856a8e317418b6674262baa05653f79832 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 27 Dec 2019 13:51:02 +0000
Subject: Update dhall-lang submodule

---
 dhall/src/syntax/text/parser.rs | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

(limited to 'dhall/src/syntax/text/parser.rs')

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();
-- 
cgit v1.2.3