diff options
author | Nadrieril | 2019-05-12 18:54:03 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-12 18:54:03 +0200 |
commit | 1274a997c49ae8dcf73ec6a3d1afe96dd03a2ae2 (patch) | |
tree | 943155aba1f56c06e13f691be320b776ff9b93f1 /dhall/src/phase/typecheck.rs | |
parent | c2b4a2d9b40efbe4f6cb6fd04f6cb90639f4985f (diff) |
Include success or failure prefix in test filtering
Diffstat (limited to '')
-rw-r--r-- | dhall/src/phase/typecheck.rs | 8 |
1 files changed, 4 insertions, 4 deletions
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)); // }; // } |