[commit: ghc] master: Remove unused function: mkFunCos (6f62303)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/6f6230308fda376c55cb7cbcd4b6b51b680d4cef/ghc

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

commit 6f6230308fda376c55cb7cbcd4b6b51b680d4cef
Author: Matthew Pickering <matthew.pickering at tweag.io>
Date:   Fri Apr 13 11:33:40 2018 -0400

    Remove unused function: mkFunCos
    
    Reviewers: goldfire, bgamari, dfeuer
    
    Reviewed By: dfeuer
    
    Subscribers: dfeuer, thomie, carter
    
    Differential Revision: https://phabricator.haskell.org/D4587


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

6f6230308fda376c55cb7cbcd4b6b51b680d4cef
 compiler/types/Coercion.hs      | 6 +-----
 compiler/types/Coercion.hs-boot | 2 --
 2 files changed, 1 insertion(+), 7 deletions(-)

diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs
index 3e69b71..a169966 100644
--- a/compiler/types/Coercion.hs
+++ b/compiler/types/Coercion.hs
@@ -31,7 +31,7 @@ module Coercion (
         mkPiCo, mkPiCos, mkCoCast,
         mkSymCo, mkTransCo,
         mkNthCo, mkLRCo,
-        mkInstCo, mkAppCo, mkAppCos, mkTyConAppCo, mkFunCo, mkFunCos,
+        mkInstCo, mkAppCo, mkAppCos, mkTyConAppCo, mkFunCo,
         mkForAllCo, mkForAllCos, mkHomoForAllCos, mkHomoForAllCos_NoRefl,
         mkPhantomCo,
         mkUnsafeCo, mkHoleCo, mkUnivCo, mkSubCo,
@@ -553,10 +553,6 @@ mkFunCo r co1 co2
   = Refl r (mkFunTy ty1 ty2)
   | otherwise = FunCo r co1 co2
 
--- | Make nested function 'Coercion's
-mkFunCos :: Role -> [Coercion] -> Coercion -> Coercion
-mkFunCos r cos res_co = foldr (mkFunCo r) res_co cos
-
 -- | Apply a 'Coercion' to another 'Coercion'.
 -- The second coercion must be Nominal, unless the first is Phantom.
 -- If the first is Phantom, then the second can be either Phantom or Nominal.
diff --git a/compiler/types/Coercion.hs-boot b/compiler/types/Coercion.hs-boot
index 1508e6f..1e85476 100644
--- a/compiler/types/Coercion.hs-boot
+++ b/compiler/types/Coercion.hs-boot
@@ -33,8 +33,6 @@ mkKindCo :: Coercion -> Coercion
 mkSubCo :: Coercion -> Coercion
 mkProofIrrelCo :: Role -> Coercion -> Coercion -> Coercion -> Coercion
 
-mkFunCos :: Role -> [Coercion] -> Coercion -> Coercion
-
 isReflCo :: Coercion -> Bool
 isReflexiveCo :: Coercion -> Bool
 decomposePiCos :: Kind -> [Type] -> Coercion -> ([Coercion], Coercion)