[commit: ghc] wip/tdammers/D4394: Removed dead code (091d72d)

[git at git.haskell.org]

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

On branch  : wip/tdammers/D4394
Link       : http://ghc.haskell.org/trac/ghc/changeset/091d72de40cbdfc9d5e9d8c118e200fa2f3afefb/ghc

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

commit 091d72de40cbdfc9d5e9d8c118e200fa2f3afefb
Author: Tobias Dammers <tdammers at gmail.com>
Date:   Mon Mar 5 12:09:17 2018 +0100

    Removed dead code


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

091d72de40cbdfc9d5e9d8c118e200fa2f3afefb
 compiler/types/Coercion.hs | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs
index af3cb2c..fbb8de9 100644
--- a/compiler/types/Coercion.hs
+++ b/compiler/types/Coercion.hs
@@ -13,7 +13,7 @@ module Coercion (
         Coercion, CoercionN, CoercionR, CoercionP,
         UnivCoProvenance, CoercionHole, LeftOrRight(..),
         Var, CoVar, TyCoVar,
-        Role(..), ltRole, lteRole,
+        Role(..), ltRole,
 
         -- ** Functions over coercions
         coVarTypes, coVarKind, coVarKindsTypesRole, coVarRole,
@@ -1129,11 +1129,6 @@ ltRole Representational _       = False
 ltRole Nominal          Nominal = False
 ltRole Nominal          _       = True
 
-lteRole :: Role -> Role -> Bool
--- Is one role <= the other?
--- Nominal < Representational < Phantom
-lteRole r1 r2 = r1 == r2 || r1 `ltRole` r2
-
 -------------------------------
 
 -- | like mkKindCo, but aggressively & recursively optimizes to avoid using