summaryrefslogtreecommitdiff
path: root/dhall/src/imports.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-14 19:47:41 +0200
committerNadrieril2019-04-14 19:47:41 +0200
commit1ac24d88ecd2001dc49688afcf6f93944ff60e96 (patch)
tree8cad318490b3c5a1e32ec9845f3ce633978112d2 /dhall/src/imports.rs
parent685dcf6d699a51bae681d0fe605a0cf862f7a37f (diff)
Naming nitpick
Diffstat (limited to '')
-rw-r--r--dhall/src/imports.rs10
1 files changed, 5 insertions, 5 deletions
diff --git a/dhall/src/imports.rs b/dhall/src/imports.rs
index 0078040..3972e0e 100644
--- a/dhall/src/imports.rs
+++ b/dhall/src/imports.rs
@@ -52,12 +52,12 @@ fn load_import(
f: &Path,
import_cache: &mut ImportCache,
) -> Result<Normalized<'static>, Error> {
- Ok(resolve_expr_imports(Parsed::parse_file(f)?, import_cache)?
+ Ok(do_resolve_expr(Parsed::parse_file(f)?, import_cache)?
.typecheck()?
.normalize())
}
-fn resolve_expr_imports<'a>(
+fn do_resolve_expr<'a>(
Parsed(expr, root): Parsed<'a>,
import_cache: &mut ImportCache,
) -> Result<Resolved<'a>, ImportError> {
@@ -76,7 +76,7 @@ fn resolve_expr_imports<'a>(
Ok(Resolved(rc(expr)))
}
-fn resolve_expr<'a>(
+fn skip_resolve_expr<'a>(
Parsed(expr, _root): Parsed<'a>,
) -> Result<Resolved<'a>, ImportError> {
let resolve =
@@ -112,11 +112,11 @@ impl<'a> Parsed<'a> {
}
pub fn resolve(self) -> Result<Resolved<'a>, ImportError> {
- crate::imports::resolve_expr_imports(self, &mut HashMap::new())
+ crate::imports::do_resolve_expr(self, &mut HashMap::new())
}
#[allow(dead_code)]
pub fn skip_resolve(self) -> Result<Resolved<'a>, ImportError> {
- crate::imports::resolve_expr(self)
+ crate::imports::skip_resolve_expr(self)
}
}