From 1274a997c49ae8dcf73ec6a3d1afe96dd03a2ae2 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 12 May 2019 18:54:03 +0200
Subject: Include success or failure prefix in test filtering

---
 dhall/src/phase/resolve.rs   | 4 ++--
 dhall/src/phase/typecheck.rs | 8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'dhall/src/phase')

diff --git a/dhall/src/phase/resolve.rs b/dhall/src/phase/resolve.rs
index fa5f32e..c4d7e5f 100644
--- a/dhall/src/phase/resolve.rs
+++ b/dhall/src/phase/resolve.rs
@@ -110,13 +110,13 @@ mod spec_tests {
 
     macro_rules! import_success {
         ($name:ident, $path:expr) => {
-            make_spec_test!(Import, Success, $name, $path);
+            make_spec_test!(Import, Success, $name, &("success/".to_owned() + $path));
         };
     }
 
     // macro_rules! import_failure {
     //     ($name:ident, $path:expr) => {
-    //         make_spec_test!(Import, Failure, $name, $path);
+    //         make_spec_test!(Import, Failure, $name, &("failure/".to_owned() + $path));
     //     };
     // }
 
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index ac584cd..bb36060 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -787,23 +787,23 @@ mod spec_tests {
 
     macro_rules! tc_success {
         ($name:ident, $path:expr) => {
-            make_spec_test!(Typecheck, Success, $name, $path);
+            make_spec_test!(Typecheck, Success, $name, &("success/".to_owned() + $path));
         };
     }
     macro_rules! tc_failure {
         ($name:ident, $path:expr) => {
-            make_spec_test!(Typecheck, Failure, $name, $path);
+            make_spec_test!(Typecheck, Failure, $name, &("failure/".to_owned() + $path));
         };
     }
 
     macro_rules! ti_success {
         ($name:ident, $path:expr) => {
-            make_spec_test!(TypeInference, Success, $name, $path);
+            make_spec_test!(TypeInference, Success, $name, &("success/".to_owned() + $path));
         };
     }
     // macro_rules! ti_failure {
     //     ($name:ident, $path:expr) => {
-    //         make_spec_test!(TypeInference, Failure, $name, $path);
+    //         make_spec_test!(TypeInference, Failure, $name, &("failure/".to_owned() + $path));
     //     };
     // }
 
-- 
cgit v1.2.3