summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-08 17:56:35 +0200
committerNadrieril2019-04-08 17:56:35 +0200
commit00fa24b851ff6337cf4c5c63f82d95488180a413 (patch)
tree5bd21c934233622b86520743d7a9d3cb6203a1a4 /dhall/src/tests.rs
parentb6bd26f08866d4025ca98faf3a3e5f15353aacbf (diff)
Limit public API
Closes #53
Diffstat (limited to '')
-rw-r--r--dhall/src/tests.rs6
1 files changed, 4 insertions, 2 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs
index ae6fd12..ebb8855 100644
--- a/dhall/src/tests.rs
+++ b/dhall/src/tests.rs
@@ -29,8 +29,10 @@ macro_rules! make_spec_test {
};
}
+use crate::imports::ImportError;
use crate::*;
use dhall_core::*;
+use dhall_generator as dhall;
use std::path::PathBuf;
#[allow(dead_code)]
@@ -46,7 +48,7 @@ pub enum Feature {
// Deprecated
fn read_dhall_file<'i>(file_path: &str) -> Result<Expr<X, X>, ImportError> {
- crate::load_dhall_file(&PathBuf::from(file_path), true)
+ crate::imports::load_dhall_file(&PathBuf::from(file_path), true)
}
fn load_from_file_str<'i>(
@@ -138,7 +140,7 @@ pub fn run_test(base_path: &str, feature: Feature) {
let expr = rc(read_dhall_file(&expr_file_path).unwrap());
let expected =
rc(read_dhall_file(&expected_file_path).unwrap());
- typecheck::type_of(crate::subexpr!(expr: expected))
+ typecheck::type_of(dhall::subexpr!(expr: expected))
.unwrap();
})
.unwrap()