fix haddock submodule pointer
[ghc-hetmet.git] / compiler / typecheck / TcUnify.lhs
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check
2006-08-01 simonpj@microsoft.comMake unification robust to a boxy type variable meeting...
2006-06-23 Simon Marlowthe unlifted kind
2006-05-05 simonpj@microsoft.comPreserve type variable names during type inference
2006-04-07 Simon MarlowReorganisation of the source tree