Commit 8263d09e authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove unused export from TcUnify

..namely buildImplication.

Plus white space in TcDeriv
parent b3e9452d
...@@ -1882,8 +1882,8 @@ simplifyDeriv pred tvs theta ...@@ -1882,8 +1882,8 @@ simplifyDeriv pred tvs theta
-- generated instance declaration -- generated instance declaration
; defer <- goptM Opt_DeferTypeErrors ; defer <- goptM Opt_DeferTypeErrors
; (implic, _) <- buildImplicationFor tclvl skol_info tvs_skols [] unsolved ; (implic, _) <- buildImplicationFor tclvl skol_info tvs_skols [] unsolved
-- The buildImplication is just to bind the skolems, in -- The buildImplicationFor is just to bind the skolems,
-- case they are mentioned in error messages -- in case they are mentioned in error messages
-- See Trac #11347 -- See Trac #11347
; unless defer (reportAllUnsolved (mkImplicWC implic)) ; unless defer (reportAllUnsolved (mkImplicWC implic))
......
...@@ -13,7 +13,7 @@ module TcUnify ( ...@@ -13,7 +13,7 @@ module TcUnify (
tcWrapResult, tcWrapResultO, tcSkolemise, tcSkolemiseET, tcWrapResult, tcWrapResultO, tcSkolemise, tcSkolemiseET,
tcSubTypeHR, tcSubType, tcSubTypeO, tcSubType_NC, tcSubTypeDS, tcSubTypeDS_O, tcSubTypeHR, tcSubType, tcSubTypeO, tcSubType_NC, tcSubTypeDS, tcSubTypeDS_O,
tcSubTypeDS_NC, tcSubTypeDS_NC_O, tcSubTypeET, tcSubTypeET_NC, tcSubTypeDS_NC, tcSubTypeDS_NC_O, tcSubTypeET, tcSubTypeET_NC,
checkConstraints, buildImplication, buildImplicationFor, checkConstraints, buildImplicationFor,
-- Various unifications -- Various unifications
unifyType_, unifyType, unifyTheta, unifyKind, noThing, unifyType_, unifyType, unifyTheta, unifyKind, noThing,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment