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/builtins.rs | |
parent | f6732982c522dd579d378ab4820001d5ae107c43 (diff) |
Remove types from NzEnv
Diffstat (limited to 'dhall/src/semantics/builtins.rs')
-rw-r--r-- | dhall/src/semantics/builtins.rs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/dhall/src/semantics/builtins.rs b/dhall/src/semantics/builtins.rs index 9d4f8a2..d9a3599 100644 --- a/dhall/src/semantics/builtins.rs +++ b/dhall/src/semantics/builtins.rs @@ -265,8 +265,11 @@ fn apply_builtin(b: Builtin, args: Vec<Value>, env: NzEnv) -> ValueKind { Value(Value), DoneAsIs, } - let make_closure = - |e| typecheck(&skip_resolve(&e).unwrap()).unwrap().eval(&env); + let make_closure = |e| { + typecheck(&skip_resolve(&e).unwrap()) + .unwrap() + .eval(env.clone()) + }; let ret = match (b, args.as_slice()) { (OptionalNone, [t]) => Ret::ValueKind(EmptyOptionalLit(t.clone())), |