summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs
diff options
context:
space:
mode:
authorNadrieril2019-05-12 18:54:03 +0200
committerNadrieril2019-05-12 18:54:03 +0200
commit1274a997c49ae8dcf73ec6a3d1afe96dd03a2ae2 (patch)
tree943155aba1f56c06e13f691be320b776ff9b93f1 /dhall/src/tests.rs
parentc2b4a2d9b40efbe4f6cb6fd04f6cb90639f4985f (diff)
Include success or failure prefix in test filtering
Diffstat (limited to 'dhall/src/tests.rs')
-rw-r--r--dhall/src/tests.rs10
1 files changed, 2 insertions, 8 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs
index f7802e8..b7a38be 100644
--- a/dhall/src/tests.rs
+++ b/dhall/src/tests.rs
@@ -86,14 +86,8 @@ pub fn run_test(
Typecheck => "typecheck/",
TypeInference => "type-inference/",
};
- let status_prefix = match status {
- Success => "success/",
- Failure => "failure/",
- };
- let base_path = "../dhall-lang/tests/".to_owned()
- + feature_prefix
- + status_prefix
- + base_path;
+ let base_path =
+ "../dhall-lang/tests/".to_owned() + feature_prefix + base_path;
match status {
Success => {
let expr_file_path = base_path.clone() + "A.dhall";