@@ -139,7 +139,6 @@ data SimpleErrorMessage
139 | IntOutOfRange Integer String Integer Integer
139 | IntOutOfRange Integer String Integer Integer
140 | RedundantEmptyHidingImport ModuleName
140 | RedundantEmptyHidingImport ModuleName
141 | ImplicitImport ModuleName [DeclarationRef]
141 | ImplicitImport ModuleName [DeclarationRef]
142− | ImplicitDctorImport (ProperName 'TypeName) [ProperName 'ConstructorName]
143 | CaseBinderLengthDiffers Int [Binder]
142 | CaseBinderLengthDiffers Int [Binder]
144 deriving (Show)
143 deriving (Show)
@@ -311,7 +310,6 @@ errorCode em = case unwrapErrorMessage em of
311 IntOutOfRange{} -> "IntOutOfRange"
310 IntOutOfRange{} -> "IntOutOfRange"
312 RedundantEmptyHidingImport{} -> "RedundantEmptyHidingImport"
311 RedundantEmptyHidingImport{} -> "RedundantEmptyHidingImport"
313 ImplicitImport{} -> "ImplicitImport"
312 ImplicitImport{} -> "ImplicitImport"
314− ImplicitDctorImport{} -> "ImplicitDctorImport"
315 CaseBinderLengthDiffers{} -> "CaseBinderLengthDiffers"
313 CaseBinderLengthDiffers{} -> "CaseBinderLengthDiffers"
@@ -865,11 +863,6 @@ prettyPrintSingleError full level showWiki e = flip evalState defaultUnknownMap
865 , indent $ line $ "import " ++ runModuleName mn ++ " (" ++ intercalate ", " (map prettyPrintRef refs) ++ ")"
863 , indent $ line $ "import " ++ runModuleName mn ++ " (" ++ intercalate ", " (map prettyPrintRef refs) ++ ")"
868− renderSimpleErrorMessage (ImplicitDctorImport ty ctors) =
869− paras [ line $ "Import of type " ++ runProperName ty ++ " has unspecified data constructors, consider using the explicit form: "
870− , indent $ line $ runProperName ty ++ " (" ++ intercalate ", " (map runProperName ctors) ++ ")"
873 renderSimpleErrorMessage (CaseBinderLengthDiffers l bs) =
866 renderSimpleErrorMessage (CaseBinderLengthDiffers l bs) =
874 paras $ [ line $ "Binder list length differs in case alternative:"
867 paras $ [ line $ "Binder list length differs in case alternative:"
875 , indent $ line $ intercalate ", " $ fmap prettyPrintBinderAtom bs
868 , indent $ line $ intercalate ", " $ fmap prettyPrintBinderAtom bs