Test #9371 (indexed-types/should_fail/T9371)
[ghc.git] / compiler / types /
2014-08-08  Simon Peyton JonesImplement the final change to INCOHERENT from Trac...
2014-08-01  Gabor GreifTypo fixes
2014-08-01  Gabor GreifSmall tweaks to comment
2014-07-31  Gabor GreifTypo in comment
2014-07-31  Simon Peyton JonesComplete work on new OVERLAPPABLE/OVERLAPPING pragmas...
2014-07-31  Simon Peyton JonesComments and white space
2014-07-27  Iavor S. DiatchkiImplement OVERLAPPING and OVERLAPPABLE pragmas (see...
2014-07-21  Gabor GreifTypos in note
2014-07-20  Austin Seipptypes: detabify/dewhitespace Kind
2014-07-18  Simon Peyton JonesComments only
2014-07-17  Richard EisenbergRemove unused parameters in OptCoercion (#9233)
2014-07-17  Herbert Valerio... Workaround haddock parser error caused by 5e7406d9
2014-07-16  Richard EisenbergOptimise optCoercion. (#9233)
2014-07-16  Richard EisenbergRewrite coercionRole. (#9233)
2014-07-15  Simon Peyton JonesEntirely re-jig the handling of default type-family...
2014-07-11  Jan StolarekComments only
2014-06-30  Iavor S. DiatchkiEliminate `Unify.validKindShape` (#9242)
2014-06-29  Iavor S. DiatchkiFactor-out the `OverlapMode` from `OverlapFlag`.
2014-06-27  Gabor GreifComments only
2014-06-27  Simon Peyton JonesMore allDistinctTyVars from TcDeriv to Type
2014-06-26  Joachim BreitnerMerge Thomas Miedema’s syn-all improvments
2014-06-25  Gabor GreifTypos in comments
2014-06-20  Simon Peyton JonesTidy up the printing of single-predicate contexts
2014-06-14  Iavor S. DiatchkiImplement `Typeable` support for type-level literals...
2014-06-11  Richard EisenbergFix #9062.
2014-06-06  Joachim BreitnerUse UnicodeSyntax when printing
2014-06-06  Sjoerd VisscherMerge branch 'master' of git://git.haskell.org/ghc
2014-06-03  Simon Peyton JonesDo pretty-printing of TyThings via IfaceDecl (Trac...
2014-06-03  Simon Peyton JonesRename TypeRep.Prec to TypeRep.TyPrec
2014-05-23  Gabor GreifTypos in comments
2014-05-23  Simon Peyton JonesMore debug info for failures in typeKind and kindFunResult
2014-05-23  Simon Peyton JonesBetter pretty-printing for ClsInst
2014-05-23  Simon Peyton JonesMake the unifier a fixpoint even for the free kind...
2014-05-15  Simon Peyton JonesRefactoring around TyCon.isSynTyCon
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-05-13  Simon Peyton JonesFix invariant in mkAppCoFlexible
2014-05-12  Simon Peyton JonesImprove desugaring of lazy pattern match
2014-05-06  Simon Peyton JonesModularise pretty-printing for foralls
2014-04-29  Richard EisenbergAdd Note [Role twiddling functions] to Coercion.
2014-04-28  Richard EisenbergImprove implementation of unSubCo_maybe.
2014-04-28  Simon Peyton JonesPrint for-alls more often (Trac #9018)
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-23  Gabor GreifCatch a bunch of typos in comments
2014-03-22  Richard EisenbergFix #8917.
2014-03-22  Richard EisenbergComments only -- clarifying Notes around compatibility.
2014-03-17  Simon Peyton JonesComments only
2014-03-10  Simon Peyton JonesUnify, rather than match, in GND processing (fixes...
2014-02-13  Baldur BlöndalCleaned up Maybes.lhs
2014-02-01  Gabor GreifFix a popular typo in comments
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-20  Joachim BreitnerMake worker-wrapper unbox data families
2014-01-17  Simon Peyton JonesEta expand data family instances before printing them
2014-01-12  Austin SeippFix new Haddock doc parse failures.
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-09  Simon Peyton JonesRe-work the naming story for the GHCi prompt (Trac...
2013-12-02  Joachim BreitnerMove FunDeps to typecheck
2013-12-02  Richard EisenbergRemove dead code orphaned by implementing GND with...
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 JonesMove isVoidRep, isGcPtrRep to TyCon to join primRepSize...
2013-11-22  Joachim BreitnerExtend Coercible to newtype instances
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-11-14  Iavor S. DiatchkiChange the representation and move TcBuiltInSynFamily.
2013-11-13  Patrick PalkaRemove unnecessary and deprecated inclusions of Typeable.h
2013-11-13  Iavor S. DiatchkiMake type-level evaluation work with :kind!
2013-11-06  Simon Peyton JonesComments and reorg only
2013-11-01  Krzysztof GogolewskiRemove debugging output (#8356)
2013-10-24  Simon Peyton JonesUntabify (sorry didn't fully do it first time)
2013-10-24  Simon Peyton JonesTrailing whitespace only
2013-10-24  Simon Peyton JonesUntabify and trailing whitespace
2013-10-24  Simon Peyton JonesRefactor the topNormaliseNewType story, fixing Trac...
2013-10-24  Simon Peyton JonesoprhNamesOfFamInst should include the type family itsel...
2013-10-23  Richard EisenbergRemove debugging printouts -- sorry!
2013-10-23  Richard EisenbergMerge branch 'master' of git://git.haskell.org/ghc
2013-10-23  Richard EisenbergChange GeneralizedNewtypeDeriving safety check.
2013-10-23  Simon Peyton JonesRename topNormaliseType to topNormaliseType_maybe
2013-10-12  Krzysztof GogolewskiTypos
2013-10-09  Krzysztof GogolewskiShow parentheses when printing type (forall x. T1)...
2013-10-09  Krzysztof GogolewskiTypos
2013-10-03  Simon Peyton JonesClose over kinds when checking fundep coverage (Trac...
2013-10-01  Gabor GreifTypos in comments
2013-10-01  Simon Peyton JonesImprove error message for fundeps a bit more
2013-10-01  Simon Peyton JonesWhite space and line endings
2013-10-01  Simon Peyton JonesRemove trailing whitespace and tabs
2013-10-01  unknownImprove pretty-printing of types
2013-10-01  unknownImprove error reporting of fundep coverage condition...
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-18  Simon Peyton JonesComments only
2013-09-18  Twan van LaarhovenImplement checkable "minimal complete definitions"...
2013-09-18  Richard EisenbergChange role annotation syntax.
2013-09-13  Joachim BreitnerExpose tcTyConsOfType as Types.tyConsOfType
2013-09-13  Iavor S. DiatchkiAdd support for evaluation of type-level natural numbers.
2013-09-11  Austin SeippFix AMP warnings.