diff options
author | Nadrieril | 2020-02-15 19:05:26 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-15 19:05:26 +0000 |
commit | d65d639ff93691adbf0a208edb99736003bc64bd (patch) | |
tree | 39a0a59fdb2deaa26f202d3141b2e6c779533377 /dhall/src/semantics/hir.rs | |
parent | 51cf6a28fa56031dbeae0ff378f0ef84eff7fd3e (diff) |
Factor some tck code to avoid needing get_type_tyexpr
Diffstat (limited to 'dhall/src/semantics/hir.rs')
-rw-r--r-- | dhall/src/semantics/hir.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/hir.rs b/dhall/src/semantics/hir.rs index e4e2a5f..42f151e 100644 --- a/dhall/src/semantics/hir.rs +++ b/dhall/src/semantics/hir.rs @@ -76,8 +76,8 @@ impl Hir { } /// Eval the Hir. It will actually get evaluated only as needed on demand. - pub fn eval(&self, env: &NzEnv) -> Value { - Value::new_thunk(env.clone(), self.clone()) + pub fn eval(&self, env: impl Into<NzEnv>) -> Value { + Value::new_thunk(env.into(), self.clone()) } /// Eval a closed Hir (i.e. without free variables). It will actually get evaluated only as /// needed on demand. |