Merge remote-tracking branch 'origin/master' into type-nats
[ghc.git] / compiler / typecheck / TcHsType.lhs
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-16  Jose Pedro MagalhaesSplit -XDataKinds from -XPolyKinds
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-23  Simon Peyton JonesUse HsTupleTy [] for unit tuples, uniformly
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-19  Iavor S. DiatchkiAdd numeric types to the parsing part of the front...
2011-12-13  Simon Peyton JonesDocument typechecking of pattern bindings
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-25  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-25  Jose Pedro MagalhaesLess kinds in error messages
2011-11-25  Jose Pedro MagalhaesFix kind checking of tuples
2011-11-22  Simon Marlowmerge
2011-11-22  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-21  Jose Pedro MagalhaesReplace EkCtxt by an SDoc
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 MagalhaesChanges to the kind checker
2011-11-16  Jose Pedro MagalhaesBetter error messages when we know the expected kind...
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-31  Manuel M T ChakravartyVECTORISE pragmas for type classes and instances
2011-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-22  Simon Peyton JonesFix kind-checking for unboxed tuples (fixes Trac #5573)
2011-10-04  Jose Pedro MagalhaesMerge branch 'master' into fix#5464
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-26  Max BolingbrokeKind check associated type synonym defaults earlier...
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 JonesComments, and rename FactTuple to ConstraintTuple
2011-09-07  Simon Peyton JonesConstraintKind -> ConstraintKinds
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-08-23  Simon Peyton JonesImplement lookupTypeName/lookupValueName, and reificati...
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-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-26  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-generics
2011-05-20  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-17  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
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-10  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-09  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
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-05  Simon Peyton JonesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
2011-05-05  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-04  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-04  Jose Pedro MagalhaesRemove HsNumTy and TypePati.
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-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-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-09-15  simonpj@microsoft.comImplement TH reification of instances (Trac #1835)
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-08-24  simonpj@microsoft.comAdd HsCoreTy to HsType
2010-02-10  simonpj@microsoft.comKeep track of explicit kinding in HsTyVarBndr; plus...
2010-02-10  simonpj@microsoft.comSeveral TH/quasiquote changes
2009-11-05  simonpj@microsoft.comUpdate layout of error message slightly
2009-09-30  simonpj@microsoft.comFix Trac #3540: malformed types
2009-09-10  simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467)
2009-08-25  simonpj@microsoft.comFix Trac #3406 (albeit not very satisfactorily): scoped...
2009-07-07  Ian LynaghRemove unused imports
2009-07-02  simonpj@microsoft.comNew syntax for GADT-style record declarations, and...
2009-05-27  simonpj@microsoft.comTemplate Haskell: allow type splices
2009-05-13  simonpj@microsoft.comImprove error reporting for kind errors (fix Trac ...
2009-02-13  Ian LynaghPut RelaxedPolyRec in the cabal file rather than a...
2009-02-06  Ian LynaghFix building with GHC 6.8
2009-02-04  simonpj@microsoft.comImprove error reports for kind checking (Trac #2994)
2008-12-30  simonpj@microsoft.comAvoid nasty name clash with associated data types ...
2008-10-01  Manuel M T ChakravartyProper error message for unsupported pattern signatures
2008-07-01  simonpj@microsoft.comSeveral fixes to 'deriving' including Trac #2378
2008-06-06  Ian LynaghFix warnings in TcHsType
next