Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality function...
[ghc-hetmet.git] / compiler / typecheck / TcEnv.lhs
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts
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-25 Simon MarlowGeneralise Package Support
2006-05-05 simonpj@microsoft.comTrim imports
2006-05-04 simonpj@microsoft.comPrint a more helpful error for find_thing
2006-04-14 simonpj@microsoft.comRecover gracefully from a Template Haskell programmers...
2006-04-07 Simon MarlowReorganisation of the source tree