fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
[ghc-hetmet.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