JavaScriptExpert
diff --git a/‎src/Language/PureScript/Errors.hs‎
Lines changed: 0 additions & 7 deletions b/‎src/Language/PureScript/Errors.hs‎
Lines changed: 0 additions & 7 deletions
diff --git a/‎src/Language/PureScript/Linter/Imports.hs‎
Lines changed: 1 addition & 2 deletions b/‎src/Language/PureScript/Linter/Imports.hs‎
Lines changed: 1 addition & 2 deletions
@@ -139,7 +139,6 @@ data SimpleErrorMessage
   | IntOutOfRange Integer String Integer Integer
   | RedundantEmptyHidingImport ModuleName
   | ImplicitImport ModuleName [DeclarationRef]
-  | ImplicitDctorImport (ProperName 'TypeName) [ProperName 'ConstructorName]
   | CaseBinderLengthDiffers Int [Binder]
   deriving (Show)
 
@@ -311,7 +310,6 @@ errorCode em = case unwrapErrorMessage em of
   IntOutOfRange{} -> "IntOutOfRange"
   RedundantEmptyHidingImport{} -> "RedundantEmptyHidingImport"
   ImplicitImport{} -> "ImplicitImport"
-  ImplicitDctorImport{} -> "ImplicitDctorImport"
   CaseBinderLengthDiffers{} -> "CaseBinderLengthDiffers"
 
 -- |
@@ -865,11 +863,6 @@ prettyPrintSingleError full level showWiki e = flip evalState defaultUnknownMap
             , indent $ line $ "import " ++ runModuleName mn ++ " (" ++ intercalate ", " (map prettyPrintRef refs) ++ ")"
             ]
 
-    renderSimpleErrorMessage (ImplicitDctorImport ty ctors) =
-      paras [ line $ "Import of type " ++ runProperName ty ++ " has unspecified data constructors, consider using the explicit form: "
-            , indent $ line $ runProperName ty ++ " (" ++ intercalate ", " (map runProperName ctors) ++ ")"
-            ]
-
     renderSimpleErrorMessage (CaseBinderLengthDiffers l bs) =
       paras $ [ line $ "Binder list length differs in case alternative:"
               , indent $ line $ intercalate ", " $ fmap prettyPrintBinderAtom bs
 
@@ -86,11 +86,10 @@ findUnusedImports (Module _ _ _ mdecls mexports) env usedImps = do
               when (runProperName tn `elem` usedNames) $ case (c, usedDctors `intersect` allCtors) of
                 (_, []) | c /= Just [] ->
                   tell $ errorMessage $ UnusedDctorImport tn
-                (Nothing, usedDctors') ->
-                  tell $ errorMessage $ ImplicitDctorImport tn usedDctors'
                 (Just ctors, usedDctors') ->
                   let ddiff = ctors \\ usedDctors'
                   in unless (null ddiff) $ tell $ errorMessage $ UnusedDctorExplicitImport tn ddiff
+                _ -> return ()
 
             return ()