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

2010-10-20	dimitris@microsoft.com	(1) More lenient kind checking, (2) Fixed orientation...	commit \| commitdiff \| tree
2010-10-19	dimitris@microsoft.com	Midstream changes to deal with spontaneous solving...	commit \| commitdiff \| tree
2010-10-18	dimitris@microsoft.com	Major pass through type checker:(1) prioritizing equalities...	commit \| commitdiff \| tree
2010-10-15	dimitris@microsoft.com	(1) Caching FD improvements for efficiency, (2) preventing...	commit \| commitdiff \| tree
2010-10-14	dimitris@microsoft.com	Midstream changes for performance improvement related...	commit \| commitdiff \| tree
2010-10-12	dimitris@microsoft.com	Minor	commit \| commitdiff \| tree
2010-10-11	dimitris@microsoft.com	Commentary changes	commit \| commitdiff \| tree
2010-10-08	dimitris@microsoft.com	Kind checking bugfix (#4356) and preventing wanteds...	commit \| commitdiff \| tree
2010-10-06	dimitris@microsoft.com	Major bugfixing pass through the type checker	commit \| commitdiff \| tree
2010-10-04	dimitris@microsoft.com	Typechecker performance fixes and flatten skolem bugfixing	commit \| commitdiff \| tree
2010-09-23	dimitris@microsoft.com	Performance bug fixes	commit \| commitdiff \| tree
2010-08-20	dimitris@microsoft.com	Minor	commit \| commitdiff \| tree

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