diff options
author | Nadrieril | 2020-03-01 19:37:24 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
commit | 5a9a5859eec0cf7deebf7fa07fe99f8dc8722ec8 (patch) | |
tree | 838f55765c65d5dd8c701670cd78b1908467e383 /dhall/build.rs | |
parent | df4495f30708180591b630bb720cfe81ff4118ce (diff) |
Implement remote `as Location` resolution
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 29219ff..5faa6b2 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -253,13 +253,17 @@ fn generate_tests() -> std::io::Result<()> { || path == "alternativeHashMismatch" || path == "hashFromCache" || path == "unit/AlternativeHashMismatch" - // TODO: remote imports + // TODO: This test is wrong || path == "asLocation" + // TODO: remote imports + || path == "unit/SimpleRemote" + || path == "unit/asLocation/RemoteChain1" + || path == "unit/asLocation/RemoteChain2" + || path == "unit/asLocation/RemoteChain3" + // TODO: import headers || path == "customHeaders" || path == "headerForwarding" || path == "noHeaderForwarding" - || path == "unit/SimpleRemote" - || path == "unit/asLocation/Remote" }), input_type: FileType::Text, output_type: Some(FileType::Text), @@ -273,9 +277,10 @@ fn generate_tests() -> std::io::Result<()> { false // TODO: import hash || path == "hashMismatch" - // TODO: remote imports - || path == "customHeadersUsingBoundVariable" + // TODO: remote imports CORS/sanity check || path == "referentiallyInsane" + // TODO: import headers + || path == "customHeadersUsingBoundVariable" }), input_type: FileType::Text, output_type: Some(FileType::UI), |