diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-10-07 15:47:24 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-10-07 15:55:42 -0400 |
| commit | ce61d25afab3db003eba1eb34bc4e365d224c635 (patch) | |
| tree | ed2a243a855b7094c8b7220b089b78078dd890e8 /compiler/GHC/Tc | |
| parent | 128c2c186f6557b63430a9e8f6b9ec1ca19221bb (diff) | |
| download | haskell-wip/T19703.tar.gz | |
Eliminate mapM_ over eltsRMwip/T19703
Diffstat (limited to 'compiler/GHC/Tc')
| -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 |