Straightened out implicit coercions for indexed types
[ghc.git] / compiler / types / Coercion.lhs
2006-09-20  Manuel M T ChakravartyStraightened out implicit coercions for indexed types
2006-09-20  Manuel M T ChakravartyIndexed newtypes
2006-09-20  Manuel M T ChakravartyFixed bug in coercion for indexed data types
2006-09-20  Manuel M T ChakravartyPattern matching of indexed data types
2006-09-20  Manuel M T ChakravartyIntroduce coercions for data instance decls
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 ChakravartyMake sym coercion smart constructor smarter, add comments
2006-09-20  Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a...
2006-08-07  Manuel M T ChakravartyComments only
2006-08-07  Manuel M T ChakravartyCorrect grevious bug in mkSymCoercion
2006-08-06  Manuel M T ChakravartyRemove Control-M from Coercion.hs
2006-08-06  Manuel M T ChakravartyAdd Coercion.lhs