Mainly, rename LiteralTy to LitTy
[ghc.git] / compiler / typecheck / TcMType.lhs
2012-01-13  Simon Peyton JonesMainly, rename LiteralTy to LitTy
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'
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-08  Ian LynaghMerge branch 'coloured-core' of https://github.com...
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-04  Simon Peyton JonesMerge commit
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-27  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-04-27  Ben LippmeierMerge branch 'master' of /Users/benl/devel/ghc/ghc...
2011-04-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-04-20  Simon Peyton JonesTidy up SigTv
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  simonpj@microsoft.comRe-enable assertion now the new type checker is in
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 some operations on type-level naturals.
2011-01-16  Iavor S. DiatchkiAdd basic support for number type literals.
2011-01-16  Iavor S. DiatchkiAdd a missing ASSERT.
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2011-02-21  simonpj@microsoft.comFix another fundep error (fixes Trac #4969)
2010-10-19  simonpj@microsoft.comReject programs with equality superclasses for now
2010-10-19  simonpj@microsoft.comClean up the debugger code
2010-10-15  dimitris@microsoft.com(1) Caching FD improvements for efficiency, (2) prevent...
2010-10-15  simonpj@microsoft.comFix Trac #4401: meta-tyvars allocated by the constraint...
2010-10-08  simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
2010-10-04  dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing
2010-10-06  simonpj@microsoft.comRefactoring: mainly rename ic_env_tvs to ic_untch
2010-09-19  simonpj@microsoft.comLoosen the conditions for -XUndecidableInstances; fixes...
2010-09-19  simonpj@microsoft.comFurther improvements in error messages
2010-09-18  Ian LynaghAdd separate functions for querying DynFlag and Extensi...
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-09-02  simonpj@microsoft.comRemove checkFreeness; no longer needed
2010-08-31  simonpj@microsoft.comWibbles
next