From: simonpj@microsoft.com <unknown>
Date: Thu, 2 Oct 2008 13:24:26 +0000 (+0000)
Subject: Suppress invalid Core Lint complaint about lack of constructors
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=a7eb3064144ef4b2975d4fec7c7ae6104cfa213a

Suppress invalid Core Lint complaint about lack of constructors
---

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