Type checking for type synonym families
[ghc.git] / compiler / types / Type.lhs
2007-08-28  Manuel M T ChakravartyType checking for type synonym families
2007-08-09  simonpj@microsoft.comTidy up the treatment of newtypes, refactor, and fix...
2007-08-03  simonpj@microsoft.comRemove dead code
2007-07-02  Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB
2007-05-02  simonpj@microsoft.comMake records work properly with type families
2007-05-02  simonpj@microsoft.comUse pprSourceTyCon; delete unused tyConOrigHead
2007-04-25  simonpj@microsoft.comFix misleading debug trace
2007-04-24  Pepe IborraWhen a type is refined after :print, propagate the...
2007-04-02  simonpj@microsoft.comMake type-tidying work for coercion variables
2007-01-11  simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it
2007-01-04  Manuel M T ChakravartyFix and improve deriving for indexed data types
2007-01-02  simonpj@microsoft.comBig tidy-up of deriving code
2006-12-18  Manuel M T ChakravartyDeriving for indexed data types
2006-12-10  Pepe IborraClosure inspection in GHCi
2006-11-10  simonpj@microsoft.comCosmetics and debug printing only
2006-11-06  simonpj@microsoft.comTidy up substitutions
2006-11-01  simonpj@microsoft.comRemove unused import
2006-10-13  simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar
2006-10-11  Simon MarlowMore import tidying and fixing the stage 2 build
2006-10-06  simonpj@microsoft.comImport trimming
2006-09-23  simonpj@microsoft.comComplete definition of cmPredX to take account of EqPred
2006-09-23  simonpj@microsoft.comCorrect crucial typo in isSubKind (kc1 -> kc2)!
2006-09-23  simonpj@microsoft.comTrim imports, and remove some dead code
2006-09-20  Manuel M T ChakravartyIndexed newtypes
2006-09-20  Manuel M T ChakravartyCheck category of type instances and some newtype famil...
2006-09-20  Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
2006-09-20  Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a...
2006-09-20  Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables
2006-09-20  Manuel M T Chakravartyfix some coercion kind representation things, extend...
2006-09-20  Manuel M T Chakravartytowards unboxing through newtypes
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-08-04  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-08-18  simonpj@microsoft.comBetter pretty-printing for TvSubst
2006-04-07  Simon MarlowReorganisation of the source tree