summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/env.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/src/semantics/resolve/env.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/semantics/resolve/env.rs b/dhall/src/semantics/resolve/env.rs
index 2b998f8..ba6205f 100644
--- a/dhall/src/semantics/resolve/env.rs
+++ b/dhall/src/semantics/resolve/env.rs
@@ -17,7 +17,7 @@ pub type CyclesStack = Vec<ImportLocation>;
pub struct ImportEnv<'cx> {
cx: Ctxt<'cx>,
disk_cache: Option<Cache>, // `None` if it failed to initialize
- mem_cache: HashMap<ImportLocation, ImportResultId>,
+ mem_cache: HashMap<ImportLocation, ImportResultId<'cx>>,
stack: CyclesStack,
}
@@ -82,7 +82,7 @@ impl<'cx> ImportEnv<'cx> {
pub fn get_from_mem_cache(
&self,
location: &ImportLocation,
- ) -> Option<ImportResultId> {
+ ) -> Option<ImportResultId<'cx>> {
Some(*self.mem_cache.get(location)?)
}
@@ -98,7 +98,7 @@ impl<'cx> ImportEnv<'cx> {
pub fn write_to_mem_cache(
&mut self,
location: ImportLocation,
- result: ImportResultId,
+ result: ImportResultId<'cx>,
) {
self.mem_cache.insert(location, result);
}