Mainly, rename LiteralTy to LitTy
[ghc.git] / compiler / typecheck / TcCanonical.lhs
2012-01-13  Simon Peyton JonesMainly, rename LiteralTy to LitTy
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
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  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2011-12-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19  Iavor S. DiatchkiAdd some missing cases for type literals.
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-12-18  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-12-16  Jose Pedro MagalhaesFix a bug in TcCanonical (Dimitrios spotted)
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 VytiniotisInsufficient rewriting during flattening. This fixes...
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-25  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-23  Simon Peyton JonesUse mkAppTys, not foldl AppTy, which was utterly wrong
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-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-06  Max BolingbrokeImplement -XConstraintKind
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-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-17  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-15  Dimitrios VytiniotisSubtle bug in canonicalization of givens
2011-06-12  Iavor S. DiatchkiMerge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db...
2011-06-10  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-09  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-06-08  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-06-08  Dimitrios VytiniotisReorganized functional dependency reactions once more:
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'
2011-05-18  Dimitrios VytiniotisFixes the way we check if flattening happened during
2011-05-17  Dimitrios VytiniotisIntroducing:
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
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... ghc-darcs-git-switchover
2011-02-19  Iavor S. DiatchkiMerge remote branch 'origin/master' into type-nats
2011-01-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-27  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-17  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-16  Iavor S. DiatchkiAdd basic support for number type literals.
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)
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
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  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-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
next