Commit a7eb3064 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Suppress invalid Core Lint complaint about lack of constructors

parent cb73be01
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment