Yet another major refactoring of the constraint solver
[ghc.git] / compiler / typecheck / TcSMonad.lhs
2012-05-07  Simon Peyton JonesYet another major refactoring of the constraint solver
2012-04-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-04-27  Simon Peyton JonesPretty printing and debug improvements
2012-04-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-23  Ian LynaghMerge nb:ghc/git/ghc
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-22  Simon Peyton JonesRespect kind-variable scoping when instantiating dfuns
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesComments only
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-16  Simon Peyton JonesSimplify the typechecking of RULES
2012-04-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-10  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-04-10  Dimitrios.VytiniotisSetting empty touchable range in implications that...
2012-04-10  Dimitrios.VytiniotisUpdates to the constraint solver to be able to handle...
2012-04-05  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05  Dimitrios.VytiniotisImproved caching: I was flushing the solved when going...
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-05  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-04  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-04  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-04  Dimitrios.VytiniotisAdding a forgotten pre-canonicalication cache-lookup...
2012-04-04  Dimitrios.VytiniotisMore informative tracing for ddump-cs-trace
2012-04-03  Dimitrios.VytiniotisWhen rewriting a flavor with rewriteCtFlavor, in the...
2012-04-03  Dimitrios.VytiniotisCommentary, following the relaxation of idempotence...
2012-04-02  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-30  Dimitrios VytiniotisMostly commentary to follow up after discussions with...
2012-03-29  Dimitrios VytiniotisDeleting A LOT of commented out code!
2012-03-29  Dimitrios VytiniotisStarted investigating how performance is affected and...
2012-03-29  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-28  Dimitrios VytiniotisBugfixes: (i) wrong evidence generetation when using...
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-28  Dimitrios.VytiniotisMidstream check-in on
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-03-01  Simon MarlowGHCi: add :seti, for options that apply only at the...
2012-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17  Simon Peyton JonesWibble to sub-kinding
2012-02-16  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesTidy up the canonicaliser
2012-01-25  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-23  Simon Peyton JonesMerge in more HEAD, fix stuff up
2012-01-19  Ian LynaghRemove getDOpts; use getDynFlags instead
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-22  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org//ghc
2011-12-22  Dimitrios VytiniotisNow the constraint simplifier solves kind constraints...
2011-12-19  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-12-19  Ian LynaghAdd a class HasDynFlags(getDynFlags)
2011-12-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-12-19  Iavor S. DiatchkiExtend GHC's type with a representation for type level...
2011-12-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2011-12-12  Simon Peyton JonesAllow type signatures in instance decls (Trac #5676)
2011-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-05  Simon Peyton JonesMerge branch 'master' of ../HEAD
2011-12-05  Simon Peyton JonesAllow full constraint solving under a for-all (Trac...
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Dimitrios VytiniotisReintroducing isReflCo optimization: invariant
2011-11-29  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisisReflCo no longer reliable for detection of type identity.
2011-11-28  Dimitrios VytiniotisSolved goal caching and zonking optimisations.
2011-11-28  Dimitrios VytiniotisThis patch includes:
2011-11-22  Simon Marlowmerge
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-16  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-16  Dimitrios VytiniotisGHC gets a new constraint solver. More efficient and...
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesBetter kind error messages from TcCanonical
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-23  Ian LynaghSome DEBUG CPP removal
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-23  Simon Peyton JonesMove tcLookupFamInst, tcLookupDataFamInst from TcEnv...
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-08-03  Simon Peyton JonesSimplify TcSMonad.matchFam's interface
2011-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
next