Comments only
[ghc.git] / compiler / types / Type.lhs
2014-06-27  Gabor GreifComments only
2014-06-27  Simon Peyton JonesMore allDistinctTyVars from TcDeriv to Type
2014-06-20  Simon Peyton JonesTidy up the printing of single-predicate contexts
2014-06-11  Richard EisenbergFix #9062.
2014-05-23  Gabor GreifTypos in comments
2014-05-23  Simon Peyton JonesMore debug info for failures in typeKind and kindFunResult
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-05-06  Simon Peyton JonesModularise pretty-printing for foralls
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-17  Simon Peyton JonesComments only
2014-02-01  Gabor GreifFix a popular typo in comments
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-11-27  Joachim BreitnerGet rid of EvCoercible
2013-11-27  Joachim BreitnerRoleify TcCoercion
2013-11-22  Simon Peyton JonesReplace (State# RealWorld) with Void# where we just...
2013-11-22  Simon Peyton JonesFix type-equality in the type checker (fixes Trac ...
2013-11-20  Joachim BreitnerCoercible: Do not try to unwrap undersaturated newtypes
2013-10-12  Krzysztof GogolewskiTypos
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-20  Simon Peyton JonesKill Type.isKindTy in favour of Kind.isKind (same code)
2013-09-13  Joachim BreitnerExpose tcTyConsOfType as Types.tyConsOfType
2013-09-09  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-08  Nicolas Frisbyresurrected -fdicts-strict, off by default
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-06-11  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-06-11  Simon Peyton JonesActually make the change described in 'Fix egregious...
2013-06-10  Simon Peyton JonesFix egregious typo in cmpTypeX
2013-06-06  Simon Peyton JonesAdd TyCon.checkRecTc, and use in in typeArity
2013-05-30  Simon Peyton JonesUse new TcHsType.zonkSigType to establish Type invariants
2013-05-03  Simon Peyton JonesMake isPredTy not use typeKind
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-04-06  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-04-06  Ian LynaghWhitespace only in Type
2013-02-15  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-02-15  Iavor S. DiatchkiLook through type synonyms when deciding if something...
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
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-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 JonesUse kind 'Symbol' consistently, rather than kind 'String'
2013-01-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-24  Simon Peyton JonesIntroduce CPR for sum types (Trac #5075)
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-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-19  Simon Peyton JonesAdd some ASSERTs to calls of zipTopTvSubst
2012-12-19  Simon Peyton JonesMove the kind Nat and Symbol out of TysPrim and into...
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
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-02  Ian LynaghMerge branch 'ticket-7442' of git://github.com/phonohaw...
2012-12-01  Simon Peyton JonesRemove dead code predTreePredType
2012-12-01  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-12-01  Richard EisenbergAdded GHC formalism to the GHC source tree.
2012-11-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-11-26  Simon Peyton JonesMake Constraint and * look identical in Core (System FC)
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesCompare the kinds of type variables when comparing...
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-17  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-09-17  Simon Peyton JonesAdd type "holes", enabled by -XTypeHoles, Trac #5910
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-09-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-09-15  Simon Peyton JonesFix Trac #7237; mixup with empty tuples
2012-09-01  Simon Peyton JonesMerge branch 'tc-untouchables', remote branch 'origin...
2012-08-29  Simon Peyton JonesMerge remote-tracking branch 'origin/HEAD' into tc...
2012-08-29  Simon Peyton JonesMinor fixes, mostly simplificaitons
2012-07-25  Ian LynaghMerge commit 'c859d17f9b0ae8559dac4f7e5cb8521e7ab5f0fb'
2012-07-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-20  Simon Peyton JonesMake seqType etc take accouunt of kinds that are now...
2012-07-20  Simon Peyton JonesMerge ../HEAD
2012-07-19  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-07-15  Ian LynaghMove -fno-warn-orphan flag into individual modules
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'
next