From 6e335238185e90ca9107790fb4236a9367ea8865 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Tue, 9 Mar 2010 17:28:42 +0000
Subject: [PATCH] A bug in isClosedUnfolding

isClosedUnfolding should say False for DFUnUnfolding!
---
 compiler/coreSyn/CoreSyn.lhs |    1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/coreSyn/CoreSyn.lhs b/compiler/coreSyn/CoreSyn.lhs
index 83692a8..b6b6659 100644
--- a/compiler/coreSyn/CoreSyn.lhs
+++ b/compiler/coreSyn/CoreSyn.lhs
@@ -622,6 +622,7 @@ unfoldingArity _	      		   	    = panic "unfoldingArity"
 
 isClosedUnfolding :: Unfolding -> Bool		-- No free variables
 isClosedUnfolding (CoreUnfolding {}) = False
+isClosedUnfolding (DFunUnfolding {}) = False
 isClosedUnfolding _                  = True
 
 -- | Only returns False if there is no unfolding information available at all
-- 
1.7.10.4