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

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

2011-05-18	Dimitrios Vytiniotis	Merge remote branch 'origin/master'	blob \| commitdiff
2011-05-18	Dimitrios Vytiniotis	Fixes the way we check if flattening happened during	blob \| commitdiff \| diff to current
2011-05-17	Dimitrios Vytiniotis	Introducing:	blob \| commitdiff \| diff to current
2011-04-19	Simon Peyton Jones	This BIG PATCH contains most of the work for the New...	blob \| commitdiff \| diff to current
2011-03-31	dimitris@microsoft.com	Introducing a datatype for WorkLists that properly...	blob \| commitdiff \| diff to current
2011-02-21	simonpj@microsoft.com	Fix another fundep error (fixes Trac #4969)	blob \| commitdiff \| diff to current
2011-02-17	simonpj@microsoft.com	Comments only	blob \| commitdiff \| diff to current
2011-02-17	simonpj@microsoft.com	Use "on the spot" solving for fundeps	blob \| commitdiff \| diff to current
2011-02-11	simonpj@microsoft.com	New plan: push unsolved wanteds inwards	blob \| commitdiff \| diff to current
2011-01-12	simonpj@microsoft.com	Major refactoring of the type inference engine	blob \| commitdiff \| diff to current
2010-12-14	simonpj@microsoft.com	Fix Trac #3731: more superclass subtlety (sigh)	blob \| commitdiff \| diff to current
2010-12-10	dimitris@microsoft.com	Doing the smart canonicalization only if we are not...	blob \| commitdiff \| diff to current
2010-12-02	simonpj@microsoft.com	Re-jig simplifySuperClass (again)	blob \| commitdiff \| diff to current
2010-11-18	simonpj@microsoft.com	Move the superclass generation to the canonicaliser	blob \| commitdiff \| diff to current
2010-11-15	simonpj@microsoft.com	Ensure that unification variables alloc'd during solvin...	blob \| commitdiff \| diff to current
2010-11-12	simonpj@microsoft.com	A (final) re-engineering of the new typechecker	blob \| commitdiff \| diff to current
2010-10-21	simonpj@microsoft.com	Fix haddock markup	blob \| commitdiff \| diff to current
2010-10-20	Ian Lynagh	Fix haddock markup	blob \| commitdiff \| diff to current
2010-10-20	simonpj@microsoft.com	Comments and layout only	blob \| commitdiff \| diff to current
2010-10-20	dimitris@microsoft.com	(1) More lenient kind checking, (2) Fixed orientation...	blob \| commitdiff \| diff to current
2010-10-19	dimitris@microsoft.com	Midstream changes to deal with spontaneous solving...	blob \| commitdiff \| diff to current
2010-10-18	dimitris@microsoft.com	Major pass through type checker:(1) prioritizing equali...	blob \| commitdiff \| diff to current
2010-10-12	dimitris@microsoft.com	Minor	blob \| commitdiff \| diff to current
2010-10-08	dimitris@microsoft.com	Kind checking bugfix (#4356) and preventing wanteds...	blob \| commitdiff \| diff to current
2010-10-06	dimitris@microsoft.com	Major bugfixing pass through the type checker	blob \| commitdiff \| diff to current
2010-10-04	dimitris@microsoft.com	Typechecker performance fixes and flatten skolem bugfixing	blob \| commitdiff \| diff to current
2010-09-17	simonpj@microsoft.com	Refactor type errors a bit	blob \| commitdiff \| diff to current
2010-09-13	simonpj@microsoft.com	Super-monster patch implementing the new typechecker...	blob \| commitdiff \| diff to current

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

RSS Atom