--
type ModulePairSet = FiniteMap ModulePair ()
+listToSet :: [ModulePair] -> ModulePairSet
listToSet l = listToFM (zip l (repeat ()))
checkFamInstConsistency :: [Module] -> [Module] -> TcM ()
; let { matches = lookupFamInstEnvUnify inst_envs fam tys'
; conflicts = [ conflictingFamInst
- | match@(_, conflictingFamInst) <- matches
+ | match@(conflictingFamInst, _) <- matches
, conflicting fam tys' tycon match
]
}