diff options
| author | Nadrieril | 2020-03-07 22:14:41 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-10 18:00:38 +0000 |
| commit | a610f53d794f430a9f57c37d8b88f76a62620506 (patch) | |
| tree | 3bc3e69e3b9385a9583ba522ddfd9acd9f8961dd /dhall/build.rs | |
| parent | 98d1b68b40d190b29f3fb1266de2794cc8ab9e54 (diff) | |
Upstream all local tests
See https://github.com/dhall-lang/dhall-lang/pull/933
Diffstat (limited to '')
| -rw-r--r-- | dhall/build.rs | 8 |
1 files changed, 3 insertions, 5 deletions
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), |