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/build.rs | 13 ------------- dhall/src/syntax/text/parser.rs | 15 +++++++-------- .../unit/FunctionApplicationArgumentNotMatch.txt | 2 +- .../unit/MergeHandlerNotMatchAlternativeType.txt | 2 +- 4 files changed, 9 insertions(+), 23 deletions(-) (limited to 'dhall') diff --git a/dhall/build.rs b/dhall/build.rs index b88c71f..c95a26d 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -128,8 +128,6 @@ fn generate_tests() -> std::io::Result<()> { || path == "unit/import/urls/emptyPath0" || path == "unit/import/urls/emptyPath1" || path == "unit/import/urls/emptyPathSegment" - // TODO: waiting for https://github.com/dhall-lang/dhall-lang/pull/871 - || path == "preferMissingNoSpaces" }), input_type: FileType::Text, output_type: Some(FileType::Binary), @@ -154,8 +152,6 @@ fn generate_tests() -> std::io::Result<()> { || path == "unit/import/urls/emptyPath0" || path == "unit/import/urls/emptyPath1" || path == "unit/import/urls/emptyPathSegment" - // TODO: waiting for https://github.com/dhall-lang/dhall-lang/pull/871 - || path == "preferMissingNoSpaces" }), input_type: FileType::Text, output_type: Some(FileType::Binary), @@ -178,8 +174,6 @@ fn generate_tests() -> std::io::Result<()> { || path == "unit/import/urls/emptyPath0" || path == "unit/import/urls/emptyPath1" || path == "unit/import/urls/emptyPathSegment" - // TODO: waiting for https://github.com/dhall-lang/dhall-lang/pull/871 - || path == "preferMissingNoSpaces" }), input_type: FileType::Text, output_type: Some(FileType::Binary), @@ -282,10 +276,6 @@ fn generate_tests() -> std::io::Result<()> { // TODO: record completion || path == "simple/completion" || path == "unit/Completion" - // TODO: waiting for https://github.com/dhall-lang/dhall-lang/pull/871 - || path == "unit/MergeNone" - || path == "unit/MergeSome" - || path == "unit/NaturalBuildFoldFusion" }), input_type: FileType::Text, output_type: Some(FileType::Text), @@ -321,9 +311,6 @@ fn generate_tests() -> std::io::Result<()> { // TODO: record completion || path == "simple/completion" || path == "unit/Completion" - // TODO: waiting for https://github.com/dhall-lang/dhall-lang/pull/871 - || path == "unit/MergeNone" - || path == "unit/MergeSome" }), input_type: FileType::Text, output_type: Some(FileType::Text), 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