From 65a242abfa4d881dc17f216b3eeeb8aedc663388 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 30 Apr 2019 13:12:49 +0200 Subject: Store thunks in the normalization context --- dhall/src/normalize.rs | 25 +++++++++++++------------ 1 file changed, 13 insertions(+), 12 deletions(-) diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index 461ce99..f2ad8ea 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -264,7 +264,7 @@ fn apply_builtin(b: Builtin, args: Vec) -> Value { #[derive(Debug, Clone)] enum EnvItem { - Expr(Value), + Thunk(Thunk), Skip(V