From 5cd645e5d68e26a7d47b78e8d798d193acd52085 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Wed, 22 Nov 2023 16:05:06 -0700 Subject: [PATCH] i realise i don't comment enough --- src/TIM.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/TIM.hs b/src/TIM.hs index 0d06a2c..e69b560 100644 --- a/src/TIM.hs +++ b/src/TIM.hs @@ -267,6 +267,7 @@ step st = primStep _ IfP (TiState s d h g sts) = TiState s' d' h' g sts where + -- the condition is evaluated if it is not in normal form s' | needsEval cn = [c] | otherwise = drop 3 s @@ -281,6 +282,8 @@ step st = [c,t,f] = getArgs h s rootAddr = head s' isTrue = case cn of + -- see Core.Examples.corePrelude; True and False are defined + -- as Con 1 0 and Con 0 0, respectively NData 0 [] -> False NData 1 [] -> True