Add {-# OPTIONS_GHC -w #-} and some blurb to all compiler modules
[ghc-hetmet.git] / compiler / typecheck / FamInst.lhs
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil...
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