Commit 47a9ec7b authored by Arnaud Spiwack's avatar Arnaud Spiwack Committed by Ben Gamari

Remove dead function TcUnify.wrapFunResCoercion

Reviewers: austin, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie

Differential Revision: https://phabricator.haskell.org/D3970
parent 9498c50e
......@@ -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) }
{- **********************************************************************
%* *
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment