summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve/env.rs
diff options
context:
space:
mode:
authorNadrieril2020-03-04 21:54:34 +0000
committerNadrieril2020-03-05 15:58:54 +0000
commit104a8a4a0632ee69e642521ea03239af88366346 (patch)
tree4e5c28561d449eb397ccb1be0754e6cc8bb5f509 /dhall/src/semantics/resolve/env.rs
parent31cefbdf0364a3d224420365049885051734669b (diff)
Implement conservative sanity checking
Diffstat (limited to 'dhall/src/semantics/resolve/env.rs')
-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 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