Check category of type instances and some newtype family fixes
[ghc-hetmet.git] / compiler / types / TyCon.lhs
2006-09-20 Manuel M T ChakravartyCheck category of type instances and some newtype famil...
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance...
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
2006-09-20 Manuel M T ChakravartyMake newtype Coercion eta-contract if the tails of...
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes...
2006-09-18 Manuel M T ChakravartyRemove argument variance info of tycons
2006-09-18 Manuel M T ChakravartyPartial changes for derived newtype instances
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-05-17 simonpj@microsoft.comWhite space only
2006-04-07 Simon MarlowReorganisation of the source tree