@@ -177,13 +177,13 @@ errorCode (IncorrectConstructorArity _) = "IncorrectConstructorArity"
177177errorCode SubsumptionCheckFailed = "SubsumptionCheckFailed"
178178errorCode (ExprDoesNotHaveType _ _) = "ExprDoesNotHaveType"
179179errorCode (PropertyIsMissing _ _) = "PropertyIsMissing"
180−errorCode (ErrorUnifyingTypes _ _ _) = "ErrorUnifyingTypes"
181180errorCode (CannotApplyFunction _ _) = "CannotApplyFunction"
182181errorCode TypeSynonymInstance = "TypeSynonymInstance"
183182errorCode InvalidNewtype = "InvalidNewtype"
184183errorCode (InvalidInstanceHead _) = "InvalidInstanceHead"
185184errorCode (TransitiveExportError _ _) = "TransitiveExportError"
186185errorCode (NotYetDefined _ e) = errorCode e
186+errorCode (ErrorUnifyingTypes _ _ e) = errorCode e
187187errorCode (ErrorInExpression _ e) = errorCode e
188188errorCode (ErrorInModule _ e) = errorCode e
189189errorCode (ErrorInInstance _ _ e) = errorCode e