[commit: ghc] master: Remove redundant compatibility check. (b0bcbc0)

[git at git.haskell.org]

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

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

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

commit b0bcbc04bbc3e293aa886a7c7e5d3f2c0d6f60f4
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Fri Mar 21 23:40:47 2014 -0400

    Remove redundant compatibility check.
    
    Previously, the closed type family compatibility check was
    done even when type-checking an interface file. But interface
    files now store compatibility info, so this check was redundant.


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

b0bcbc04bbc3e293aa886a7c7e5d3f2c0d6f60f4
 compiler/iface/TcIface.lhs |    3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs
index 20adfe5..cc45648 100644
--- a/compiler/iface/TcIface.lhs
+++ b/compiler/iface/TcIface.lhs
@@ -574,8 +574,7 @@ tc_iface_decl _ _ (IfaceAxiom { ifName = ax_occ, ifTyCon = tc
   = do { tc_name     <- lookupIfaceTop ax_occ
        ; tc_tycon    <- tcIfaceTyCon tc
        ; tc_branches <- tc_ax_branches tc_tycon branches
-       ; let axiom = computeAxiomIncomps $
-                     CoAxiom { co_ax_unique   = nameUnique tc_name
+       ; let axiom = CoAxiom { co_ax_unique   = nameUnique tc_name
                              , co_ax_name     = tc_name
                              , co_ax_tc       = tc_tycon
                              , co_ax_role     = role