tweak hnf handling

2 files changed, 3 insertions, 3 deletions

diff --git a/src/LambdaCube/Compiler/Core.hs b/src/LambdaCube/Compiler/Core.hs
index 809a8d9c..4f0c597a 100644
--- a/src/LambdaCube/Compiler/Core.hs
+++ b/src/LambdaCube/Compiler/Core.hs
@@ -259,7 +259,7 @@ reduce (Neut (ReducedN y)) = Just $ hnf y
 reduce (SubstLet x) = Just $ hnf x
 reduce _ = Nothing
 -}
-hnf (Reduced y) = y
+hnf (Reduced y) = hnf y  -- TODO: review hnf call here
 hnf a = a
 
 outputType = tTyCon0 FOutput $ error "cs 9"
diff --git a/testdata/loopIssue.out b/testdata/loopIssue.out
index 6413ce9b..86b64220 100644
--- a/testdata/loopIssue.out
+++ b/testdata/loopIssue.out
@@ -69,7 +69,7 @@ inf :: Inf
 inf = primFix _ \a -> _rhs (Inf a)
 
 inf2 :: Inf
-inf2 = _rhs inf
+inf2 = _rhs (Inf inf)
 
 main :: Bool
 main = _rhs True
@@ -81,7 +81,7 @@ match'Inf :: forall (a :: Type -> Type) -> a Inf -> forall b -> a b -> a b
 match'Inf = \a b c d -> <<type case function>>
 
 primes :: [Bool]
-primes = _rhs repeatT
+primes = _rhs (True : repeatT)
 
 repeat :: Bool -> [Bool]
 repeat = primFix _ \a b -> _rhs (typeAnn b : a b)