diff options
author | Nadrieril | 2020-03-04 21:54:34 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
commit | 104a8a4a0632ee69e642521ea03239af88366346 (patch) | |
tree | 4e5c28561d449eb397ccb1be0754e6cc8bb5f509 /dhall/src/semantics/resolve/env.rs | |
parent | 31cefbdf0364a3d224420365049885051734669b (diff) |
Implement conservative sanity checking
Diffstat (limited to 'dhall/src/semantics/resolve/env.rs')
-rw-r--r-- | dhall/src/semantics/resolve/env.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/semantics/resolve/env.rs b/dhall/src/semantics/resolve/env.rs index 2342dcc..5a7f139 100644 --- a/dhall/src/semantics/resolve/env.rs +++ b/dhall/src/semantics/resolve/env.rs @@ -85,16 +85,16 @@ impl ImportEnv { Ok(match self.cache.get(&location) { Some(expr) => expr.clone(), None => { - // Push the current import on the stack + // Push the current location on the stack self.stack.push(location); // Resolve the import recursively let expr = do_resolve(self)?; - // Remove import from the stack. + // Remove location from the stack. let location = self.stack.pop().unwrap(); - // Add the import to the cache + // Add the resolved import to the cache self.cache.insert(location, expr.clone()); expr |