projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make assignTemp_ less pessimistic
[ghc-hetmet.git] / compiler / typecheck / TcSMonad.lhs
2011-05-18 Dimitrios VytiniotisMerge remote branch 'origin/master' blob | commitdiff
2011-05-18 Dimitrios VytiniotisFixes the way we check if flattening happened during blob | commitdiff | diff to current
2011-05-17 Dimitrios VytiniotisIntroducing: blob | commitdiff | diff to current
2011-05-12 Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into... blob | commitdiff | diff to current
2011-05-06 Simon Peyton JonesMerge master into the ghc-new-co branch blob | commitdiff | diff to current
2011-05-05 Jose Pedro MagalhaesFix a previous incorrect merge. blob | commitdiff | diff to current
2011-05-05 Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into... blob | commitdiff | diff to current
2011-05-04 Simon Peyton JonesMake import conditional on DEBUG to avoid unused-import... blob | commitdiff | diff to current
2011-05-04 Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into... blob | commitdiff | diff to current
2011-05-04 Simon Peyton JonesPrint contraint step counts only with -dppr-debug blob | commitdiff | diff to current
2011-05-02 Simon Peyton JonesMerge in changes from HEAD blob | commitdiff | diff to current
2011-04-30 Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co blob | commitdiff | diff to current
2011-04-20 Simon Peyton JonesDont print "Constraint solver steps = n" if -dno-debug... blob | commitdiff | diff to current
2011-04-19 simonpjSlightly better tracing in the constraint solver blob | commitdiff | diff to current
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New... blob | commitdiff | diff to current
2011-03-31 dimitris@microsoft.comIntroducing a datatype for WorkLists that properly... blob | commitdiff | diff to current
2011-02-21 simonpj@microsoft.comFix another fundep error (fixes Trac #4969) blob | commitdiff | diff to current
2011-02-17 simonpj@microsoft.comUse "on the spot" solving for fundeps blob | commitdiff | diff to current
2011-02-11 simonpj@microsoft.comRemove unnecessary import, plus white space blob | commitdiff | diff to current
2011-02-11 simonpj@microsoft.commakeSolvedByInst is only called on wanteds blob | commitdiff | diff to current
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine blob | commitdiff | diff to current
2010-12-14 simonpj@microsoft.comLess verbose debug print blob | commitdiff | diff to current
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809. blob | commitdiff | diff to current
2010-12-10 dimitris@microsoft.comDoing the smart canonicalization only if we are not... blob | commitdiff | diff to current
2010-12-09 dimitris@microsoft.comMoved canonicalisation inside solveInteract blob | commitdiff | diff to current
2010-12-02 Simon MarlowFix a recomp bug: make classes/datatypes depend directl... blob | commitdiff | diff to current
2010-12-02 simonpj@microsoft.comRe-jig simplifySuperClass (again) blob | commitdiff | diff to current
2010-12-02 simonpj@microsoft.comA little refactoring (remove redundant argument passed... blob | commitdiff | diff to current
2010-11-15 simonpj@microsoft.comEnsure that unification variables alloc'd during solvin... blob | commitdiff | diff to current
2010-11-12 simonpj@microsoft.comA (final) re-engineering of the new typechecker blob | commitdiff | diff to current
2010-10-22 dimitris@microsoft.comOptimised the representation of Inert Sets to use Maps... blob | commitdiff | diff to current
2010-10-20 simonpj@microsoft.comComments 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.comMidstream changes to deal with spontaneous solving... blob | commitdiff | diff to current
2010-10-19 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2010-10-19 simonpj@microsoft.comRecover after an error in an implication constraint blob | commitdiff | diff to current
2010-10-18 dimitris@microsoft.comMajor pass through type checker:(1) prioritizing equali... blob | commitdiff | diff to current
2010-10-15 dimitris@microsoft.com(1) Caching FD improvements for efficiency, (2) prevent... blob | commitdiff | diff to current
2010-10-14 dimitris@microsoft.comMidstream changes for performance improvement related... blob | commitdiff | diff to current
2010-10-11 dimitris@microsoft.comCommentary changes blob | commitdiff | diff to current
2010-10-08 dimitris@microsoft.comKind checking bugfix (#4356) and preventing wanteds... blob | commitdiff | diff to current
2010-10-15 simonpj@microsoft.comFix Trac #4401: meta-tyvars allocated by the constraint... blob | commitdiff | diff to current
2010-10-13 benl@ouroborus.netFix warnings blob | commitdiff | diff to current
2010-10-08 simonpj@microsoft.comFix Trac #4360: omitted case in combineCtLoc blob | commitdiff | diff to current
2010-10-08 simonpj@microsoft.comBeautiful new approach to the skolem-escape check and... blob | commitdiff | diff to current
2010-10-07 simonpj@microsoft.comSome refactoring and simplification in TcInteract.occur... blob | commitdiff | diff to current
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker blob | commitdiff | diff to current
2010-10-04 dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing blob | commitdiff | diff to current
2010-09-17 simonpj@microsoft.comMinor refactoring blob | commitdiff | diff to current
2010-09-17 simonpj@microsoft.comYet more error message improvement blob | commitdiff | diff to current
2010-09-13 Ian LynaghFix build with 6.10 blob | commitdiff | diff to current
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... blob | commitdiff | diff to current
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)