diff options
author | Nadrieril | 2019-04-14 19:47:41 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-14 19:47:41 +0200 |
commit | 1ac24d88ecd2001dc49688afcf6f93944ff60e96 (patch) | |
tree | 8cad318490b3c5a1e32ec9845f3ce633978112d2 | |
parent | 685dcf6d699a51bae681d0fe605a0cf862f7a37f (diff) |
Naming nitpick
-rw-r--r-- | dhall/src/imports.rs | 10 |
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) } } |