@@ -84,7 +84,7 @@ findUnusedImports (Module _ _ _ mdecls mexports) env usedImps = do
84 forM_ (mapMaybe getTypeRef declrefs) $ \(tn, c) -> do
84 forM_ (mapMaybe getTypeRef declrefs) $ \(tn, c) -> do
85 let allCtors = dctorsForType mni tn
85 let allCtors = dctorsForType mni tn
86 when (runProperName tn `elem` usedNames) $ case (c, usedDctors `intersect` allCtors) of
86 when (runProperName tn `elem` usedNames) $ case (c, usedDctors `intersect` allCtors) of
87− (_, []) ->
87+ (_, []) | c /= Just [] ->
88 tell $ errorMessage $ UnusedDctorImport tn
88 tell $ errorMessage $ UnusedDctorImport tn
89 (Nothing, usedDctors') ->
89 (Nothing, usedDctors') ->
90 tell $ errorMessage $ ImplicitDctorImport tn usedDctors'
90 tell $ errorMessage $ ImplicitDctorImport tn usedDctors'