git.megacz.com Git - ghc-hetmet.git/history

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

2006-09-23	simonpj@microsoft.com	Complete definition of cmPredX to take account of EqPred	blob \| commitdiff
2006-09-23	simonpj@microsoft.com	Correct crucial typo in isSubKind (kc1 -> kc2)!	blob \| commitdiff \| diff to current
2006-09-23	simonpj@microsoft.com	Trim imports, and remove some dead code	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	Check category of type instances and some newtype famil...	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Extended TyCon and friends to represent family declarations	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-09-20	Manuel M T Chakravarty	fix bugs, add boolean flag to identify coercion variables	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	fix some coercion kind representation things, extend...	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	towards unboxing through newtypes	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	Complete the evidence generation for GADTs	blob \| commitdiff \| diff to current
2006-09-20	Manuel M T Chakravarty	newtype fixes, coercions for non-recursive newtypes...	blob \| commitdiff \| diff to current
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	blob \| commitdiff \| diff to current
2006-08-18	simonpj@microsoft.com	Better pretty-printing for TvSubst	blob \| commitdiff \| diff to current
2006-04-07	Simon Marlow	Reorganisation of the source tree	blob \| commitdiff \| diff to current

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

RSS Atom