[commit: ghc] wip/tdammers/D4394: Removed dead code (0a8a117)

git at git.haskell.org git at git.haskell.org
Tue Mar 27 14:28:59 UTC 2018


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

On branch  : wip/tdammers/D4394
Link       : http://ghc.haskell.org/trac/ghc/changeset/0a8a1172d84f59ec01d792e44b9f7d0e34a7066b/ghc

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

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

    Removed dead code


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

0a8a1172d84f59ec01d792e44b9f7d0e34a7066b
 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 40dfd9a..f9fdf28 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,
@@ -1153,11 +1153,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



More information about the ghc-commits mailing list