diff options
| author | Arnaud Spiwack <arnaud.spiwack@tweag.io> | 2017-09-15 14:36:39 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-09-15 14:36:40 -0400 |
| commit | 47a9ec7b29fb4de70ba6d89a91a5c5e5034feb17 (patch) | |
| tree | b009f849411deb9bc6ca129fec21f8ad8e54dec1 | |
| parent | 9498c50ef5af2680305e0aaea6f32439cacc3da0 (diff) | |
| download | haskell-47a9ec7b29fb4de70ba6d89a91a5c5e5034feb17.tar.gz | |
Remove dead function TcUnify.wrapFunResCoercion
Reviewers: austin, bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie
Differential Revision: https://phabricator.haskell.org/D3970
| -rw-r--r-- | compiler/typecheck/TcUnify.hs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/compiler/typecheck/TcUnify.hs b/compiler/typecheck/TcUnify.hs index 5ae8c09f8b..6c45279c74 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) } - {- ********************************************************************** %* * |