diff options
| author | Matthew Pickering <matthew.pickering@tweag.io> | 2018-04-13 11:33:40 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-04-13 11:33:48 -0400 |
| commit | 6f6230308fda376c55cb7cbcd4b6b51b680d4cef (patch) | |
| tree | 41b8e97718e071a93a008f1a23efa28022249f04 | |
| parent | f78df87c3857c128c9126f1979fbacf84ac5cd1a (diff) | |
| download | haskell-6f6230308fda376c55cb7cbcd4b6b51b680d4cef.tar.gz | |
Remove unused function: mkFunCos
Reviewers: goldfire, bgamari, dfeuer
Reviewed By: dfeuer
Subscribers: dfeuer, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4587
| -rw-r--r-- | compiler/types/Coercion.hs | 6 | ||||
| -rw-r--r-- | compiler/types/Coercion.hs-boot | 2 |
2 files changed, 1 insertions, 7 deletions
diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs index 3e69b71fcd..a169966298 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 1508e6fb10..1e85476790 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) |