diff options
author | Nadrieril | 2020-02-09 22:30:32 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-09 22:30:32 +0000 |
commit | 35cc98dc767247f4881866de40c7d8dd82eba8a5 (patch) | |
tree | 586179e338232b9b389e1ec4d8c96f018d6ab70a /dhall/src/semantics/tck/tyexpr.rs | |
parent | f6732982c522dd579d378ab4820001d5ae107c43 (diff) |
Remove types from NzEnv
Diffstat (limited to 'dhall/src/semantics/tck/tyexpr.rs')
-rw-r--r-- | dhall/src/semantics/tck/tyexpr.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/tck/tyexpr.rs b/dhall/src/semantics/tck/tyexpr.rs index edba477..a1666a4 100644 --- a/dhall/src/semantics/tck/tyexpr.rs +++ b/dhall/src/semantics/tck/tyexpr.rs @@ -56,13 +56,13 @@ impl TyExpr { } /// Eval the TyExpr. It will actually get evaluated only as needed on demand. - pub fn eval<'e>(&self, env: impl Into<&'e NzEnv>) -> Value { + pub fn eval(&self, env: impl Into<NzEnv>) -> Value { Value::new_thunk(env.into(), self.to_hir()) } /// Eval a closed TyExpr (i.e. without free variables). It will actually get evaluated only as /// needed on demand. pub fn eval_closed_expr(&self) -> Value { - self.eval(&NzEnv::new()) + self.eval(NzEnv::new()) } /// Eval a closed TyExpr fully and recursively; pub fn rec_eval_closed_expr(&self) -> Value { |