summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-08-16 18:41:19 +0200
committerNadrieril2019-08-16 18:41:19 +0200
commitfcc9afb3624883c4f99320c37678b7f9d338630d (patch)
tree4a0dd817b2138c6bf0f15496551ee40154f3ad1d
parent9babfb33ab95a93d1e2b70c54ee8100409253ce9 (diff)
fixup! No need for generic Context anymore
Diffstat (limited to '')
-rw-r--r--dhall/src/core/context.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/core/context.rs b/dhall/src/core/context.rs
index 36542d2..cc25749 100644
--- a/dhall/src/core/context.rs
+++ b/dhall/src/core/context.rs
@@ -56,7 +56,7 @@ impl TypecheckContext {
*shift_map.entry(l.clone()).or_insert(0) += 1;
}
}
- // Free variable
+ // Unbound variable
None
}
/// Given a var that makes sense in the current context, map the given function in such a way