diff options
| author | Nadrieril | 2019-12-22 18:38:05 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-12-22 18:38:05 +0000 |
| commit | 54d7e61ad40682ee24e36288980ee4164ea87c34 (patch) | |
| tree | 29c2fa76d225fee479a748b5dbdca0f9bb8a4acc /dhall/build.rs | |
| parent | fa6de4c077ab4f1c28d2ec64a33a3be8c5a9bb1c (diff) | |
Update dhall-lang submodule
Diffstat (limited to 'dhall/build.rs')
| -rw-r--r-- | dhall/build.rs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 3e7c023..e06f9b3 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -224,6 +224,7 @@ fn generate_tests() -> std::io::Result<()> { || path == "hashMismatch" || path == "missing" || path == "referentiallyInsane" + || path == "customHeadersUsingBoundVariable" }), input_type: FileType::Text, output_type: None, @@ -308,9 +309,6 @@ fn generate_tests() -> std::io::Result<()> { variant: "TypeInferenceFailure", path_filter: Box::new(|path: &str| { false - // TODO: Enable imports in typecheck tests - || path == "importBoundary" - || path == "customHeadersUsingBoundVariable" // TODO: projection by expression || path == "unit/RecordProjectionByTypeFieldTypeMismatch" || path == "unit/RecordProjectionByTypeNotPresent" @@ -334,9 +332,6 @@ fn generate_tests() -> std::io::Result<()> { variant: "TypeError", path_filter: Box::new(|path: &str| { false - // TODO: Enable imports in typecheck tests - || path == "importBoundary" - || path == "customHeadersUsingBoundVariable" // TODO: projection by expression || path == "unit/RecordProjectionByTypeFieldTypeMismatch" || path == "unit/RecordProjectionByTypeNotPresent" |