Expose tcTyConsOfType as Types.tyConsOfType
[ghc.git] / compiler / typecheck / TcTyDecls.lhs
2013-09-13  Joachim BreitnerExpose tcTyConsOfType as Types.tyConsOfType
2013-09-11  Austin SeippFix AMP warnings.
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-04  Simon Peyton JonesMake role inference work on the source type of a data con
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-04-03  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-04-03  Simon Peyton JonesFix Trac #7805: don't allow nested foralls in promoted...
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesRefactor and improve the promotion inference
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-20  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMake a start towards eta-rules and injective families
2012-09-17  Simon Peyton JonesRemove cc_ty from CIrredCan and cc_hole_ty from CHoleCan
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
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-20  Simon Peyton JonesDo SCC on instance declarations (fixes Trac #5715)
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
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-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-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-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-11-22  Simon Marlowmerge
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-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-24  Simon Peyton JonesComments only
2011-10-24  Simon Peyton JonesComments only on superclass cycle check
2011-10-24  Max BolingbrokeAdd note about superclass cycle check
2011-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-22  Max BolingbrokeImplement relaxed superclass cycle check
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-21  Simon Marlowmove AvailInfo and related things into its own module
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-09-05  Simon Peyton JonesEliminate isHiBootTyCon in favour of isAbstractTyCon
2011-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
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-12  Iavor S. DiatchkiMerge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db...
2011-05-26  Jose Pedro MagalhaesMerge branch 'ghc-generics'
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-26  Simon Peyton JonesRejig the way in which generic default method signature...
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
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-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-10  simonpj@microsoft.comDo dependency analysis when kind-checking type declarations
2009-07-24  Ian LynaghRemove GHC's haskell98 dependency
2009-03-30  simonpj@microsoft.comFix an nasty black hole, concerning computation of...
2008-07-31  Max BolingbrokeFollow Digraph changes in TcTyDecls
2008-05-21  Ian LynaghFix warnings in TcTyDecls
2008-05-21  Ian LynaghFix whitespace in TcTyDecls
2008-03-15  Ian LynaghRemove leftover NoteTy/FTVNote bits
2007-09-04  Ian LynaghFix CodingStyle#Warnings URLs
2007-09-03  Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas
2007-09-01  Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil...
2007-05-04  simonpj@microsoft.comWarning police
2006-10-11  Simon MarlowMore import tidying and fixing the stage 2 build
next