fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
[ghc.git] / compiler / typecheck / TcExpr.lhs
2006-09-20  Manuel M T Chakravartyfix some coercion kind representation things, extend...
2006-09-20  Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-08-19  Ross Patersonremove spurious commas in imports
2006-08-18  simonpj@microsoft.comI don't thing we want to add a call-context here; it...
2006-08-16  simonpj@microsoft.comAdd ad-hoc typing checks for tagToEnum#
2006-08-04  simonpj@microsoft.comDo pre-subsumption in the main subsumption check
2006-04-14  simonpj@microsoft.comRecover gracefully from a Template Haskell programmers...
2006-04-07  Simon MarlowReorganisation of the source tree