[commit: ghc] master: Remove unused export from TcUnify (8263d09)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/8263d09e256d367f9a136fcc73d981879526a329/ghc

>---------------------------------------------------------------

commit 8263d09e256d367f9a136fcc73d981879526a329
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Jan 28 22:43:38 2016 +0000

    Remove unused export from TcUnify
    
    ..namely buildImplication.
    
    Plus white space in TcDeriv


>---------------------------------------------------------------

8263d09e256d367f9a136fcc73d981879526a329
 compiler/typecheck/TcDeriv.hs | 4 ++--
 compiler/typecheck/TcUnify.hs | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/typecheck/TcDeriv.hs b/compiler/typecheck/TcDeriv.hs
index 7946bb5..b7af112 100644
--- a/compiler/typecheck/TcDeriv.hs
+++ b/compiler/typecheck/TcDeriv.hs
@@ -1882,8 +1882,8 @@ simplifyDeriv pred tvs theta
        -- generated instance declaration
        ; defer <- goptM Opt_DeferTypeErrors
        ; (implic, _) <- buildImplicationFor tclvl skol_info tvs_skols [] unsolved
-                   -- The buildImplication is just to bind the skolems, in
-                   -- case they are mentioned in error messages
+                   -- The buildImplicationFor is just to bind the skolems,
+                   -- in case they are mentioned in error messages
                    -- See Trac #11347
        ; unless defer (reportAllUnsolved (mkImplicWC implic))
 
diff --git a/compiler/typecheck/TcUnify.hs b/compiler/typecheck/TcUnify.hs
index 8d0f797..e25ff21 100644
--- a/compiler/typecheck/TcUnify.hs
+++ b/compiler/typecheck/TcUnify.hs
@@ -13,7 +13,7 @@ module TcUnify (
   tcWrapResult, tcWrapResultO, tcSkolemise, tcSkolemiseET,
   tcSubTypeHR, tcSubType, tcSubTypeO, tcSubType_NC, tcSubTypeDS, tcSubTypeDS_O,
   tcSubTypeDS_NC, tcSubTypeDS_NC_O, tcSubTypeET, tcSubTypeET_NC,
-  checkConstraints, buildImplication, buildImplicationFor,
+  checkConstraints, buildImplicationFor,
 
   -- Various unifications
   unifyType_, unifyType, unifyTheta, unifyKind, noThing,