fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
[ghc.git] / compiler / typecheck / TcType.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 Chakravartynewtype fixes, coercions for non-recursive newtypes...
2006-09-20  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-07-14  simonpj@microsoft.comAdd some type signatures
2006-09-08  simonpj@microsoft.comCatch errors in pattern matching for unboxed tuples
2006-09-06  simonpj@microsoft.comPattern-match warning police
2006-09-06  simonpj@microsoft.comImprove error reporting for SigTvs, and add comments
2006-08-04  simonpj@microsoft.comDo pre-subsumption in the main subsumption check
2006-07-04  Simon Marlowremove unused bits, mostly to do with the Addr type
2006-07-12  simonpj@microsoft.comComments and import trimming
2006-06-23  Simon Marlowthe unlifted kind
2006-04-18  Simon Marlowremove vestiges of ByteArray and MutableByteArray,...
2006-04-11  simonpj@microsoft.comAllow IO to be wrapped in a newtype in foreign import...
2006-04-07  Simon MarlowReorganisation of the source tree