From 535c059afc22b909342bde9d60e35fe1ce621577 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Tue, 14 Nov 2023 20:30:05 -0700 Subject: [PATCH] indirection --- src/TIM.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/TIM.hs b/src/TIM.hs index eb75ed2..a3049f1 100644 --- a/src/TIM.hs +++ b/src/TIM.hs @@ -275,7 +275,7 @@ step st = | isTrue, needsEval tn = h | not isTrue, needsEval fn = h | otherwise = - update h rootAddr (if isTrue then tn else fn) + update h rootAddr (NInd $ if isTrue then t else f) [cn,tn,fn] = hViewUnsafe h <$> [c,t,f] [c,t,f] = getArgs h s