diff options
author | Nadrieril | 2019-08-16 18:41:19 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-16 18:41:19 +0200 |
commit | fcc9afb3624883c4f99320c37678b7f9d338630d (patch) | |
tree | 4a0dd817b2138c6bf0f15496551ee40154f3ad1d | |
parent | 9babfb33ab95a93d1e2b70c54ee8100409253ce9 (diff) |
fixup! No need for generic Context anymore
-rw-r--r-- | dhall/src/core/context.rs | 2 |
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 |