diff options
author | Nadrieril | 2020-02-09 22:07:03 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-09 22:07:03 +0000 |
commit | ad085a20bc257d03a52708d920cfc65f0e9051e6 (patch) | |
tree | fe5767a11a0a2001e115323c6e34fa1fd20ef8cd /dhall/src/semantics/nze/env.rs | |
parent | 21db63d3e614554f258526182c7ed89a2c244b65 (diff) |
Remove all types from Value
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/nze/env.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/semantics/nze/env.rs b/dhall/src/semantics/nze/env.rs index 261e0b6..ff52343 100644 --- a/dhall/src/semantics/nze/env.rs +++ b/dhall/src/semantics/nze/env.rs @@ -60,7 +60,8 @@ impl NzEnv { env } pub fn insert_value_noty(&self, e: Value) -> Self { - let ty = e.get_type_not_sort(); + // TODO + let ty = Value::const_sort(); self.insert_value(e, ty) } pub fn lookup_val(&self, var: &AlphaVar) -> ValueKind { |