[commit: ghc] ghc-8.0: Remove unused export from TcUnify (194820d)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/194820d1147daa6cdaa1aab678784ab984b08d6e/ghc

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

commit 194820d1147daa6cdaa1aab678784ab984b08d6e
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
    
    (cherry picked from commit 8263d09e256d367f9a136fcc73d981879526a329)


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

194820d1147daa6cdaa1aab678784ab984b08d6e
 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 84c7f71..6dbd12b 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,