From 18ea057b94fbcce585314d661f8c0533a4c0c4f6 Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Thu, 12 May 2016 02:00:15 +0200
Subject: tweak hnf handling

---
 src/LambdaCube/Compiler/Core.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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"
-- 
cgit v1.2.3