Fix scoped type variables for expression type signatures
[ghc-hetmet.git] / compiler / types / Unify.lhs
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-04-12 simonpj@microsoft.comImprove pruning of case alternatives to account for...
2006-04-07 Simon MarlowReorganisation of the source tree