Merge remote branch 'origin/master'
[ghc-hetmet.git] / compiler / typecheck / TcCanonical.lhs
2011-05-18 Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-18 Dimitrios VytiniotisFixes the way we check if flattening happened during
2011-05-17 Dimitrios VytiniotisIntroducing:
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-03-31 dimitris@microsoft.comIntroducing a datatype for WorkLists that properly...
2011-02-21 simonpj@microsoft.comFix another fundep error (fixes Trac #4969)
2011-02-17 simonpj@microsoft.comComments only
2011-02-17 simonpj@microsoft.comUse "on the spot" solving for fundeps
2011-02-11 simonpj@microsoft.comNew plan: push unsolved wanteds inwards
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-14 simonpj@microsoft.comFix Trac #3731: more superclass subtlety (sigh)
2010-12-10 dimitris@microsoft.comDoing the smart canonicalization only if we are not...
2010-12-02 simonpj@microsoft.comRe-jig simplifySuperClass (again)
2010-11-18 simonpj@microsoft.comMove the superclass generation to the canonicaliser
2010-11-15 simonpj@microsoft.comEnsure that unification variables alloc'd during solvin...
2010-11-12 simonpj@microsoft.comA (final) re-engineering of the new typechecker
2010-10-21 simonpj@microsoft.comFix haddock markup
2010-10-20 Ian LynaghFix haddock markup
2010-10-20 simonpj@microsoft.comComments and layout only
2010-10-20 More lenient kind checking, (2) Fixed orientation...
2010-10-19 dimitris@microsoft.comMidstream changes to deal with spontaneous solving...
2010-10-18 dimitris@microsoft.comMajor pass through type checker:(1) prioritizing equali...
2010-10-12 dimitris@microsoft.comMinor
2010-10-08 dimitris@microsoft.comKind checking bugfix (#4356) and preventing wanteds...
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker
2010-10-04 dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing
2010-09-17 simonpj@microsoft.comRefactor type errors a bit
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...