diff options
Diffstat (limited to 'compiler/GHC/Tc/Instance/Family.hs')
-rw-r--r-- | compiler/GHC/Tc/Instance/Family.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/GHC/Tc/Instance/Family.hs b/compiler/GHC/Tc/Instance/Family.hs index 01b5433cdc..738a59665a 100644 --- a/compiler/GHC/Tc/Instance/Family.hs +++ b/compiler/GHC/Tc/Instance/Family.hs @@ -451,9 +451,8 @@ checkFamInstConsistency directlyImpMods -- -- See also Note [Tying the knot] -- for why we are doing this at all. - ; let check_now = famInstEnvElts env1 - ; mapM_ (checkForConflicts (emptyFamInstEnv, env2)) check_now - ; mapM_ (checkForInjectivityConflicts (emptyFamInstEnv,env2)) check_now + ; traverse_FamInstEnv (checkForConflicts (emptyFamInstEnv, env2)) env1 + ; traverse_FamInstEnv (checkForInjectivityConflicts (emptyFamInstEnv,env2)) env1 } getFamInsts :: ModuleEnv FamInstEnv -> Module -> TcM FamInstEnv |