[commit: ghc] master: Remove dead function TcUnify.wrapFunResCoercion (47a9ec7)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/47a9ec7b29fb4de70ba6d89a91a5c5e5034feb17/ghc

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

commit 47a9ec7b29fb4de70ba6d89a91a5c5e5034feb17
Author: Arnaud Spiwack <arnaud.spiwack at tweag.io>
Date:   Fri Sep 15 14:36:39 2017 -0400

    Remove dead function TcUnify.wrapFunResCoercion
    
    Reviewers: austin, bgamari
    
    Reviewed By: bgamari
    
    Subscribers: rwbarton, thomie
    
    Differential Revision: https://phabricator.haskell.org/D3970


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

47a9ec7b29fb4de70ba6d89a91a5c5e5034feb17
 compiler/typecheck/TcUnify.hs | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/compiler/typecheck/TcUnify.hs b/compiler/typecheck/TcUnify.hs
index 5ae8c09..6c45279 100644
--- a/compiler/typecheck/TcUnify.hs
+++ b/compiler/typecheck/TcUnify.hs
@@ -31,8 +31,6 @@ module TcUnify (
   matchActualFunTys, matchActualFunTysPart,
   matchExpectedFunKind,
 
-  wrapFunResCoercion,
-
   occCheckExpand, metaTyVarUpdateOK,
   occCheckForErrors, OccCheckResult(..)
 
@@ -64,7 +62,6 @@ import Util
 import Pair( pFst )
 import qualified GHC.LanguageExtensions as LangExt
 import Outputable
-import FastString
 
 import Control.Monad
 import Control.Arrow ( second )
@@ -830,20 +827,6 @@ tcWrapResultO orig rn_expr expr actual_ty res_ty
                                  (Just rn_expr) actual_ty res_ty
        ; return (mkHsWrap cow expr) }
 
------------------------------------
-wrapFunResCoercion
-        :: [TcType]        -- Type of args
-        -> HsWrapper       -- HsExpr a -> HsExpr b
-        -> TcM HsWrapper   -- HsExpr (arg_tys -> a) -> HsExpr (arg_tys -> b)
-wrapFunResCoercion arg_tys co_fn_res
-  | isIdHsWrapper co_fn_res
-  = return idHsWrapper
-  | null arg_tys
-  = return co_fn_res
-  | otherwise
-  = do  { arg_ids <- newSysLocalIds (fsLit "sub") arg_tys
-        ; return (mkWpLams arg_ids <.> co_fn_res <.> mkWpEvVarApps arg_ids) }
-
 
 {- **********************************************************************
 %*                                                                      *