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

2011-03-31	dimitris@microsoft.com	Introducing a datatype for WorkLists that properly...	commit \| commitdiff \| tree
2010-12-10	dimitris@microsoft.com	Doing the smart canonicalization only if we are not...	commit \| commitdiff \| tree
2010-12-09	dimitris@microsoft.com	Moved canonicalisation inside solveInteract	commit \| commitdiff \| tree
2010-10-22	dimitris@microsoft.com	Optimised the representation of Inert Sets to use Maps...	commit \| commitdiff \| tree
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)

RSS Atom