@@ -177,13 +177,13 @@ errorCode (IncorrectConstructorArity _) = "IncorrectConstructorArity"
177errorCode SubsumptionCheckFailed = "SubsumptionCheckFailed"
177errorCode SubsumptionCheckFailed = "SubsumptionCheckFailed"
178errorCode (ExprDoesNotHaveType _ _) = "ExprDoesNotHaveType"
178errorCode (ExprDoesNotHaveType _ _) = "ExprDoesNotHaveType"
179errorCode (PropertyIsMissing _ _) = "PropertyIsMissing"
179errorCode (PropertyIsMissing _ _) = "PropertyIsMissing"
180−errorCode (ErrorUnifyingTypes _ _ _) = "ErrorUnifyingTypes"
181errorCode (CannotApplyFunction _ _) = "CannotApplyFunction"
180errorCode (CannotApplyFunction _ _) = "CannotApplyFunction"
182errorCode TypeSynonymInstance = "TypeSynonymInstance"
181errorCode TypeSynonymInstance = "TypeSynonymInstance"
183errorCode InvalidNewtype = "InvalidNewtype"
182errorCode InvalidNewtype = "InvalidNewtype"
184errorCode (InvalidInstanceHead _) = "InvalidInstanceHead"
183errorCode (InvalidInstanceHead _) = "InvalidInstanceHead"
185errorCode (TransitiveExportError _ _) = "TransitiveExportError"
184errorCode (TransitiveExportError _ _) = "TransitiveExportError"
186errorCode (NotYetDefined _ e) = errorCode e
185errorCode (NotYetDefined _ e) = errorCode e
186+errorCode (ErrorUnifyingTypes _ _ e) = errorCode e
187errorCode (ErrorInExpression _ e) = errorCode e
187errorCode (ErrorInExpression _ e) = errorCode e
188errorCode (ErrorInModule _ e) = errorCode e
188errorCode (ErrorInModule _ e) = errorCode e
189errorCode (ErrorInInstance _ _ e) = errorCode e
189errorCode (ErrorInInstance _ _ e) = errorCode e