Yet another major refactoring of the constraint solver
[ghc.git] / compiler / typecheck / TcMType.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-26  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-25  Simon Peyton JonesMore fixes to kind polymorphism, fixes Trac #6035,...
2012-04-23  Ian LynaghMerge nb:ghc/git/ghc
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
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-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-13  Simon Peyton JonesAllow kind-variable binders in type signatures
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  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-04  Simon Peyton JonesTighten up on type validity checking
2012-04-02  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-29  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-28  Dimitrios.VytiniotisMidstream check-in on
2012-03-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-24  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-21  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
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-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17  Simon Peyton JonesMore simplification of the sub-kinding story
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 JonesChange ATyVar to only have a *tyvar* not a *type* in it
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
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-13  Simon Peyton JonesMainly, rename LiteralTy to LitTy
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-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 JonesDocument the "kind invariant", and check it
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-25  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-25  Jose Pedro MagalhaesFix kind checking of tuples
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  Jose Pedro MagalhaesBetter error messages when we know the expected kind...
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-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-14  Jose Pedro MagalhaesUse mapAccumL when performing kind and type instantiation
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-25  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-10-25  Simon Peyton JonesComments only
2011-10-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-25  Simon Peyton JonesMake GHCi :kind commane work again
2011-10-25  Max BolingbrokeFix infinite loop in PredTYpe size checking (#5581)
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-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-09  Simon Peyton JonesRefactoring and code moving-around, following Max's...
2011-09-07  Simon Peyton JonesConstraintKind -> ConstraintKinds
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-08-16  Simon Peyton JonesMajor improvement to pattern bindings
2011-08-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-03  Max BolingbrokeTidy up handling of PredTys: remove dead code, move...
2011-08-01  David TereiMerge branch 'master' of ssh://darcs.haskell.org/home...
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-23  Simon Peyton JonesReject bad 'deriving' directives (fixes Trac #5287)
2011-06-22  Simon Peyton JonesAdd equality superclasses
2011-06-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-22  Simon Peyton JonesRemove "silent superclass parameters"
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
2011-06-14  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-12  Iavor S. DiatchkiMerge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db...
2011-06-11  Simon Peyton JonesMake TH capable of quoting GADT declarations (Trac...
2011-05-20  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-19  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
next