Refactoring around TyCon.isSynTyCon
[ghc.git] / compiler / typecheck / TcType.lhs
2014-05-15  Simon Peyton JonesRefactoring around TyCon.isSynTyCon
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-03-24  Simon Peyton JonesAdd missing kind-check for tcEqType on forall-types
2014-03-07  Simon Peyton JonesFix the treatment of lexically scoped kind variables...
2014-02-13  Baldur BlöndalCleaned up Maybes.lhs
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-28  Simon Peyton JonesComments only
2013-11-22  Simon Peyton JonesFix type-equality in the type checker (fixes Trac ...
2013-11-15  Simon Peyton JonesInclude funTyCon in oprhNamesOfType (fixes Trac #8535)
2013-10-25  Simon Peyton JonesUntabify and remove trailing whitespace
2013-10-25  Simon Peyton JonesRemove canSolve in favour of canRewrite
2013-10-09  Krzysztof GogolewskiTypos
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-13  Iavor S. DiatchkiAdd support for evaluation of type-level natural numbers.
2013-09-11  Austin SeippFix AMP warnings.
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-02  Simon Peyton JonesMake Specialise close over kind variables (fixes Trac...
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-05-03  Simon Peyton JonesEliminate (given) flatten-skolems in favour of user...
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-16  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-03-15  Patrick PalkaImplement type family instance support for ":info"...
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-28  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-28  Simon Peyton JonesPure refactoring
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-01  Simon Peyton JonesRefactor the invariants for ClsInsts
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-12-06  Ian LynaghMerge branch 'master' of mac:ghc/git/val64/.
2012-12-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-05  Simon Peyton JonesAdd comment
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-01  Simon Peyton JonesisTauTy should be True for LitTy (see Trac #7459)
2012-11-10  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-10-31  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-31  Simon Peyton JonesDo not instantiate unification variables with polytypes
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesFix a long-standing bug in tidying
2012-10-15  Simon Peyton JonesMove occurCheckExpand from TcCanonical to TcType
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 JonesImplement 'left' and 'right' coercions
2012-09-17  Simon Peyton JonesAnother refactoring of constraints
2012-09-17  Simon Peyton JonesComments about how the untouchables stuff works
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-03  Simon Peyton JonesRemove historical Unique parameter from pushUntouchables
2012-09-01  Simon Peyton JonesMerge branch 'tc-untouchables', remote branch 'origin...
2012-09-01  Simon Peyton JonesA bunch more simplification and refactoring to the...
2012-08-29  Simon Peyton JonesMerge remote-tracking branch 'origin/HEAD' into tc...
2012-08-29  Simon Peyton JonesMinor fixes, mostly simplificaitons
2012-08-29  Dimitrios.VytiniotisMerge branch 'tc-untouchables' of darcs.haskell.org...
2012-08-28  Simon Peyton JonesWhen floating constraints outwards, promote the floated...
2012-08-28  Simon Peyton JonesBig changes on tc-untouchables branch
2012-07-14  Ian LynaghMerge remote branch 'mikolaj/dcoutts'
2012-07-10  Simon Peyton JonesMerge branch 'master' of ../HEAD
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-10  Simon Peyton JonesRemove dead code
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-14  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-13  Simon Peyton JonesSimplify the implementation of Implicit Parameters
2012-06-08  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-06-07  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-06-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-06  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-05-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-05-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-05-22  Simon Peyton JonesComments only
2012-05-15  Max BolingbrokeSupport code generation for unboxed-tuple function...
2012-04-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-27  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into prett...
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-04-27  Simon Peyton JonesPretty printing and debug improvements
2012-04-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
next