[commit: ghc] master: Remove Ord (CoAxiom br) (68c1c29)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/68c1c29d9c43a22a5cbd34fd67b7c543ede17eac/ghc

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

commit 68c1c29d9c43a22a5cbd34fd67b7c543ede17eac
Author: Bartosz Nitka <niteria at gmail.com>
Date:   Thu Jun 9 03:55:38 2016 -0700

    Remove Ord (CoAxiom br)
    
    It was implemented in terms of Uniques, but fortunately it's unused
    so we can remove it.
    
    GHC Trac: #4012


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

68c1c29d9c43a22a5cbd34fd67b7c543ede17eac
 compiler/types/CoAxiom.hs | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

diff --git a/compiler/types/CoAxiom.hs b/compiler/types/CoAxiom.hs
index fb1b4ff..89d9bef 100644
--- a/compiler/types/CoAxiom.hs
+++ b/compiler/types/CoAxiom.hs
@@ -381,15 +381,8 @@ See also Note [Implicit TyThings] in HscTypes
 -}
 
 instance Eq (CoAxiom br) where
-    a == b = case (a `compare` b) of { EQ -> True;   _ -> False }
-    a /= b = case (a `compare` b) of { EQ -> False;  _ -> True  }
-
-instance Ord (CoAxiom br) where
-    a <= b = case (a `compare` b) of { LT -> True;  EQ -> True;  GT -> False }
-    a <  b = case (a `compare` b) of { LT -> True;  EQ -> False; GT -> False }
-    a >= b = case (a `compare` b) of { LT -> False; EQ -> True;  GT -> True  }
-    a >  b = case (a `compare` b) of { LT -> False; EQ -> False; GT -> True  }
-    compare a b = getUnique a `compare` getUnique b
+    a == b = getUnique a == getUnique b
+    a /= b = getUnique a /= getUnique b
 
 instance Uniquable (CoAxiom br) where
     getUnique = co_ax_unique