From 9c3e2fee74ae5ae9885aff40154ec4c1db04a646 Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Thu, 12 May 2016 01:38:21 +0200
Subject: fix coverage test

---
 src/LambdaCube/Compiler/Core.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/LambdaCube/Compiler/Core.hs b/src/LambdaCube/Compiler/Core.hs
index b10f6de9..809a8d9c 100644
--- a/src/LambdaCube/Compiler/Core.hs
+++ b/src/LambdaCube/Compiler/Core.hs
@@ -252,14 +252,14 @@ mkFun :: FunName -> [Exp] -> Exp -> Exp
 mkFun f xs e = mkFun_ (foldMap getFreeVars xs) f xs e
 
 pattern ReducedN y <- Fun _ _ (RHS y)
-pattern Reduced y <- (reduce -> Just y)
-
+pattern Reduced y <- Neut (ReducedN y)
+{-
 -- TODO: too much hnf call
 reduce (Neut (ReducedN y)) = Just $ hnf y
 reduce (SubstLet x) = Just $ hnf x
 reduce _ = Nothing
-
-hnf (reduce -> Just y) = y
+-}
+hnf (Reduced y) = y
 hnf a = a
 
 outputType = tTyCon0 FOutput $ error "cs 9"
-- 
cgit v1.2.3