[commit: ghc] master: Remove unused unifyType_ (9ed57d6)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/9ed57d66e95e0f27085497dcf51ea9d7db2bde79/ghc

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

commit 9ed57d66e95e0f27085497dcf51ea9d7db2bde79
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Apr 25 16:17:07 2016 +0100

    Remove unused unifyType_


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

9ed57d66e95e0f27085497dcf51ea9d7db2bde79
 compiler/typecheck/TcUnify.hs | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/compiler/typecheck/TcUnify.hs b/compiler/typecheck/TcUnify.hs
index b18671b..5d84a46 100644
--- a/compiler/typecheck/TcUnify.hs
+++ b/compiler/typecheck/TcUnify.hs
@@ -16,7 +16,7 @@ module TcUnify (
   checkConstraints, buildImplicationFor,
 
   -- Various unifications
-  unifyType_, unifyType, unifyTheta, unifyKind, noThing,
+  unifyType, unifyTheta, unifyKind, noThing,
   uType, unifyExpType,
 
   --------------------------------
@@ -976,12 +976,6 @@ The exported functions are all defined as versions of some
 non-exported generic functions.
 -}
 
--- | Unify two types, discarding a resultant coercion. Any constraints
--- generated will still need to be solved, however.
-unifyType_ :: Outputable a => Maybe a  -- ^ If present, has type 'ty1'
-           -> TcTauType -> TcTauType -> TcM ()
-unifyType_ thing ty1 ty2 = void $ unifyType thing ty1 ty2
-
 unifyType :: Outputable a => Maybe a   -- ^ If present, has type 'ty1'
           -> TcTauType -> TcTauType -> TcM TcCoercionN
 -- Actual and expected types