From a7eb3064144ef4b2975d4fec7c7ae6104cfa213a Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Thu, 2 Oct 2008 13:24:26 +0000
Subject: [PATCH] Suppress invalid Core Lint complaint about lack of
 constructors

---
 compiler/coreSyn/CoreLint.lhs |    1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs
index 2b2a6e8..2d45eb3 100644
--- a/compiler/coreSyn/CoreLint.lhs
+++ b/compiler/coreSyn/CoreLint.lhs
@@ -335,6 +335,7 @@ lintCoreExpr e@(Case scrut var alt_ty alts) =
          Just (tycon, _)
               | debugIsOn &&
                 isAlgTyCon tycon && 
+		not (isOpenTyCon tycon) &&
                 null (tyConDataCons tycon) -> 
                   pprTrace "Lint warning: case binder's type has no constructors" (ppr var <+> ppr (idType var))
 			-- This can legitimately happen for type families
-- 
1.7.10.4