diff options
author | Nadrieril | 2019-04-10 22:17:13 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-10 22:17:47 +0200 |
commit | 88ac184e7e967c4a5e257c91598f647b8294d71c (patch) | |
tree | 88ad68a42a61758d3872554ef29be6e1182fae83 /dhall/src/tests.rs | |
parent | c7184b841279a55bdfb39bde429896d221aa666c (diff) |
Mild cleanup imports
Diffstat (limited to '')
-rw-r--r-- | dhall/src/tests.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index 9e78c2f..dede639 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -48,8 +48,8 @@ pub enum Feature { } // Deprecated -fn read_dhall_file<'i>(file_path: &str) -> Result<Expr<X, X>> { - crate::imports::load_dhall_file(&PathBuf::from(file_path), true) +fn read_dhall_file<'i>(file_path: &str) -> Result<SubExpr<X, X>> { + crate::imports::load_dhall_file(&PathBuf::from(file_path)) } fn parse_file_str<'i>(file_path: &str) -> Result<Parsed> { @@ -134,9 +134,9 @@ pub fn run_test(base_path: &str, feature: Feature) { .spawn(|| { let expr_file_path = base_path.clone() + "A.dhall"; let expected_file_path = base_path + "B.dhall"; - let expr = rc(read_dhall_file(&expr_file_path).unwrap()); + let expr = read_dhall_file(&expr_file_path).unwrap(); let expected = - rc(read_dhall_file(&expected_file_path).unwrap()); + read_dhall_file(&expected_file_path).unwrap(); typecheck::type_of(dhall::subexpr!(expr: expected)) .unwrap(); }) |