Use "on the spot" solving for fundeps
[ghc.git] / compiler / typecheck / TcSMonad.lhs
2011-02-17  simonpj@microsoft.comUse "on the spot" solving for fundeps
2011-02-11  simonpj@microsoft.comRemove unnecessary import, plus white space
2011-02-11  simonpj@microsoft.commakeSolvedByInst is only called on wanteds
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-14  simonpj@microsoft.comLess verbose debug print
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-12-10  dimitris@microsoft.comDoing the smart canonicalization only if we are not...
2010-12-09  dimitris@microsoft.comMoved canonicalisation inside solveInteract
2010-12-02  Simon MarlowFix a recomp bug: make classes/datatypes depend directl...
2010-12-02  simonpj@microsoft.comRe-jig simplifySuperClass (again)
2010-12-02  simonpj@microsoft.comA little refactoring (remove redundant argument passed...
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-22  dimitris@microsoft.comOptimised the representation of Inert Sets to use Maps...
2010-10-20  simonpj@microsoft.comComments and layout only
2010-10-20  dimitris@microsoft.com(1) More lenient kind checking, (2) Fixed orientation...
2010-10-19  dimitris@microsoft.comMidstream changes to deal with spontaneous solving...
2010-10-19  simonpj@microsoft.comComments only
2010-10-19  simonpj@microsoft.comRecover after an error in an implication constraint
2010-10-18  dimitris@microsoft.comMajor pass through type checker:(1) prioritizing equali...
2010-10-15  dimitris@microsoft.com(1) Caching FD improvements for efficiency, (2) prevent...
2010-10-14  dimitris@microsoft.comMidstream changes for performance improvement related...
2010-10-11  dimitris@microsoft.comCommentary changes
2010-10-08  dimitris@microsoft.comKind checking bugfix (#4356) and preventing wanteds...
2010-10-15  simonpj@microsoft.comFix Trac #4401: meta-tyvars allocated by the constraint...
2010-10-13  benl@ouroborus.netFix warnings
2010-10-08  simonpj@microsoft.comFix Trac #4360: omitted case in combineCtLoc
2010-10-08  simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
2010-10-07  simonpj@microsoft.comSome refactoring and simplification in TcInteract.occur...
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.comMinor refactoring
2010-09-17  simonpj@microsoft.comYet more error message improvement
2010-09-13  Ian LynaghFix build with 6.10
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...