git.megacz.com Git - ghc-hetmet.git/history - compiler/types/Coercion.lhs

[ghc-hetmet.git] / compiler / types / Coercion.lhs

2006-10-11	Simon Marlow	Interface file optimisation and removal of nameParent	blob \| commitdiff
2006-09-29	simonpj@microsoft.com	Simplify the way in which the coKindFun in CoercionTyCo...	blob \| commitdiff \| diff to current
2006-09-23	simonpj@microsoft.com	Re-work the newtype-deriving support	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Straightened out implicit coercions for indexed types	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Indexed newtypes	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Fixed bug in coercion for indexed data types	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Pattern matching of indexed data types	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Introduce coercions for data instance decls	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Make newtype Coercion eta-contract if the tails of...	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Flip direction of newtype coercions, fix some comments	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Make sym coercion smart constructor smarter, add comments	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Fix GADT refinement fix-pointing, add ASSERTs and a...	blob \| commitdiff \| diff to current
2006-08-07	Manuel M T Chakravarty	Comments only	blob \| commitdiff \| diff to current
2006-08-07	Manuel M T Chakravarty	Correct grevious bug in mkSymCoercion	blob \| commitdiff \| diff to current
2006-08-06	Manuel M T Chakravarty	Remove Control-M from Coercion.hs	blob \| commitdiff \| diff to current
2006-08-06	Manuel M T Chakravarty	Add Coercion.lhs	blob \| commitdiff \| diff to current

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)

RSS Atom