From 0f853fa103066ba5e3427e824550f038f66da28c Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 3 Oct 2008 14:01:44 +0000 Subject: [PATCH] Make a debug check more refined --- compiler/simplCore/SimplUtils.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/simplCore/SimplUtils.lhs b/compiler/simplCore/SimplUtils.lhs index d697fb3..097ecd2 100644 --- a/compiler/simplCore/SimplUtils.lhs +++ b/compiler/simplCore/SimplUtils.lhs @@ -1438,9 +1438,9 @@ prepareDefault _ _ case_bndr (Just (tycon, inst_tys)) imposs_cons (Just deflt_rh _ -> return [(DEFAULT, [], deflt_rhs)] - | debugIsOn, isAlgTyCon tycon, [] <- tyConDataCons tycon + | debugIsOn, isAlgTyCon tycon, not (isOpenTyCon tycon), null (tyConDataCons tycon) + -- This can legitimately happen for type families, so don't report that = pprTrace "prepareDefault" (ppr case_bndr <+> ppr tycon) - -- This can legitimately happen for type families $ return [(DEFAULT, [], deflt_rhs)] --------- Catch-all cases ----------- -- 1.7.10.4