diff options
author | Nadrieril | 2019-08-30 20:05:12 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-30 20:59:15 +0200 |
commit | a2c2cd76d256a4e6ca66b9b1bd756fb17e600ef5 (patch) | |
tree | b57aec19cbff3043fc1cbebcf6b211e33f3f0e9f /dhall/src/phase | |
parent | 55c127e70eb484df486a45b25bcf03479eebda10 (diff) |
Rework test harness to prepare for new types of tests
Diffstat (limited to 'dhall/src/phase')
-rw-r--r-- | dhall/src/phase/resolve.rs | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/dhall/src/phase/resolve.rs b/dhall/src/phase/resolve.rs index b715e72..a58f5e4 100644 --- a/dhall/src/phase/resolve.rs +++ b/dhall/src/phase/resolve.rs @@ -109,13 +109,22 @@ pub(crate) fn skip_resolve_expr( mod spec_tests { macro_rules! import_success { ($name:ident, $path:expr) => { - make_spec_test!(Import, Success, $name, &("../dhall-lang/tests/import/success/".to_owned() + $path)); + make_spec_test!( + ImportSuccess( + &("../dhall-lang/tests/import/success/".to_owned() + $path + "A.dhall"), + &("../dhall-lang/tests/import/success/".to_owned() + $path + "B.dhall") + ), + $name + ); }; } // macro_rules! import_failure { // ($name:ident, $path:expr) => { - // make_spec_test!(Import, Failure, $name, &("../dhall-lang/tests/import/failure/".to_owned() + $path)); + // make_spec_test!( + // ImportFailure(&("../dhall-lang/tests/import/failure/".to_owned() + $path + ".dhall")), + // $name + // ); // }; // } |