Adding pushing of hpc translation status through hi files.
[ghc-hetmet.git] / compiler / typecheck / FamInst.lhs
2007-06-29 Manuel M T ChakravartyOverlap check for type families
2007-05-14 Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv
2007-05-02 simonpj@microsoft.comComments, plus type sigs
2006-12-07 Manuel M T ChakravartyFix family instance consistency check for home package...
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-18 Manuel M T ChakravartyCross-module consistency check for family instances
2006-10-12 Manuel M T ChakravartyOverlap check for family instances def'd in current...
2006-10-11 Simon MarlowModule header tidyup, phase 1
2006-10-10 Manuel M T ChakravartyRough matches for family instances
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules