summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-10 22:17:13 +0200
committerNadrieril2019-04-10 22:17:47 +0200
commit88ac184e7e967c4a5e257c91598f647b8294d71c (patch)
tree88ad68a42a61758d3872554ef29be6e1182fae83 /dhall/src/tests.rs
parentc7184b841279a55bdfb39bde429896d221aa666c (diff)
Mild cleanup imports
Diffstat (limited to '')
-rw-r--r--dhall/src/tests.rs8
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();
})