From a610f53d794f430a9f57c37d8b88f76a62620506 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 7 Mar 2020 22:14:41 +0000
Subject: Upstream all local tests

See https://github.com/dhall-lang/dhall-lang/pull/933
---
 dhall/build.rs | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 3d062da..6a0a3bf 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -253,8 +253,6 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "alternativeHashMismatch"
                     || path == "hashFromCache"
                     || path == "unit/AlternativeHashMismatch"
-                    // TODO: This test is wrong
-                    || path == "asLocation"
                     // TODO: the standard does not respect https://tools.ietf.org/html/rfc3986#section-5.2
                     || path == "unit/asLocation/RemoteCanonicalize4"
                     // TODO: import headers
@@ -287,15 +285,15 @@ fn generate_tests() -> std::io::Result<()> {
             too_slow_path: Box::new(|path: &str| path == "remoteSystems"),
             exclude_path: Box::new(|path: &str| {
                 false
+                    // Cannot typecheck
+                    || path == "unit/Sort"
                     // We don't support bignums
                     || path == "simple/integerToDouble"
                     // TODO: fix Double/show
                     || path == "prelude/JSON/number/1"
-                    // TODO: doesn't typecheck
-                    || path == "unit/RightBiasedRecordMergeWithinRecordProjection"
-                    || path == "unit/Sort"
                     // TODO: Further record simplifications
                     || path == "simplifications/issue661"
+                    || path == "unit/RightBiasedRecordMergeWithinRecordProjection"
             }),
             input_type: FileType::Text,
             output_type: Some(FileType::Text),
-- 
cgit v1.2.3