summaryrefslogtreecommitdiff
path: root/dhall/build.rs
diff options
context:
space:
mode:
authorNadrieril2020-02-09 15:50:58 +0000
committerNadrieril2020-02-09 19:58:28 +0000
commitca93f39201f6f8be9bc1466eed7323d0426e135c (patch)
treeb6d61c2932a7f846ab5b4390995156c7cb08c4e1 /dhall/build.rs
parent5abc0628058a318782c46614d943c034711845c6 (diff)
Track output of import errors
Diffstat (limited to 'dhall/build.rs')
-rw-r--r--dhall/build.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index 83c154e..7733581 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -246,6 +246,22 @@ fn generate_tests() -> std::io::Result<()> {
output_type: None,
},
TestFeature {
+ module_name: "import_error",
+ directory: "import/failure/",
+ variant: "ImportError",
+ path_filter: Box::new(|path: &str| {
+ false
+ || path == "alternativeEnv"
+ || path == "alternativeEnvMissing"
+ || path == "hashMismatch"
+ || path == "missing"
+ || path == "referentiallyInsane"
+ || path == "customHeadersUsingBoundVariable"
+ }),
+ input_type: FileType::Text,
+ output_type: None,
+ },
+ TestFeature {
module_name: "beta_normalize",
directory: "normalization/success/",
variant: "Normalization",