git.megacz.com Git - ghc-hetmet.git/history - compiler/typecheck/TcEnv.lhs

[ghc-hetmet.git] / compiler / typecheck / TcEnv.lhs

2006-11-10	simonpj@microsoft.com	Use implication constraints to improve type inference	blob \| commitdiff
2006-10-13	simonpj@microsoft.com	Change type of TcGadt.refineType, plus consequences	blob \| commitdiff \| diff to current
2006-10-11	Simon Marlow	Module header tidyup, phase 1	blob \| commitdiff \| diff to current
2006-10-11	Simon Marlow	Interface file optimisation and removal of nameParent	blob \| commitdiff \| diff to current
2006-10-10	simonpj@microsoft.com	Fail more informatively when a global isn't in the...	blob \| commitdiff \| diff to current
2006-09-29	simonpj@microsoft.com	Global renamings in HsSyn	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	Get of fam inst index in ifaces	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	towards newtype deriving dicts	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-09-20	Manuel M T Chakravarty	Massive patch for the first months work adding System...	blob \| commitdiff \| diff to current
2006-07-25	Simon Marlow	Generalise Package Support	blob \| commitdiff \| diff to current
2006-05-05	simonpj@microsoft.com	Trim imports	blob \| commitdiff \| diff to current
2006-05-04	simonpj@microsoft.com	Print a more helpful error for find_thing	blob \| commitdiff \| diff to current
2006-04-14	simonpj@microsoft.com	Recover gracefully from a Template Haskell programmers...	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