Restore original alignment for info tables
[ghc.git] / compiler / typecheck /
2016-01-27  Gabor GreifTypos in comments
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-25  Herbert Valerio... Rename -Wmissing-monadfail-instance to plural-form
2016-01-25  Simon Peyton JonesImprove tracing in checkValidInstance
2016-01-25  Simon Peyton JonesAvoid recursive use of immSuperClasses
2016-01-25  Simon Peyton JonesRefactor validity checking for type/data instances
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-24  Thomas MiedemaRemove `replaceDynFlags` from `ContainsDynFlags`
2016-01-22  Eric SeidelDefault non-canonical CallStack constraints
2016-01-21  Simon Peyton JonesAllow implicit parameters in constraint synonyms
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead
2016-01-21  Simon Peyton JonesRemove the check_lifted check in TcValidity
2016-01-21  Simon Peyton JonesComments only
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-20  Bartosz NitkasubstTy to substTyUnchecked to fix Travis build
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-20  Ben GamariUse (&&) instead of `if` in Ix derivation
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-19  Gabor GreifTypos in comments
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesTypo in comment
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-18  Simon Peyton JonesAdd Trac #11427 to Note [Recursive superclasses]
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-18  Simon Peyton JonesImprove debug printing/warnings
2016-01-18  Simon Peyton JonesWhite space only
2016-01-18  Simon Peyton JonesFix typecheck of default associated type decls
2016-01-18  Simon Peyton JonesLayout only
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-16  Rik SteenkampFix some typos
2016-01-15  Richard EisenbergFix #11405.
2016-01-15  Richard EisenbergFix typo in error message (#11409)
2016-01-15  Richard EisenbergTiny refactoring in TcUnify
2016-01-15  Richard EisenbergConstrained types have kind * in validity check.
2016-01-15  Richard EisenbergFix #11254.
2016-01-15  Richard EisenbergFix #11355.
2016-01-15  RyanGlScottExpand type/kind synonyms in TyVars before deriving...
2016-01-15  RyanGlScottRefactor lookupFixityRn-related code following D1744
2016-01-14  Ben GamariRename InjectiveTypeFamilies to TypeFamilyDependencies
2016-01-14  Jan StolarekMinor code refactoring
2016-01-13  Iavor S. DiatchkiHandle over-applied custom type errors too.
2016-01-09  Jan StolarekAdd InjectiveTypeFamilies language extension
2016-01-08  RyanGlScottFix Template Haskell's handling of infix GADT constructors
2016-01-08  Simon MarlowSupport for qRecover in TH with -fexternal-interpreter
2016-01-08  Simon MarlowEnable stack traces with ghci -fexternal-interpreter...
2016-01-07  Gabor GreifTypos in docs and comments
2016-01-07  Simon Peyton JonesTurn AThing into ATcTyCon, in TcTyThing
2016-01-07  Simon Peyton JonesUse an Implication in 'deriving' error
2016-01-07  Simon Peyton JonesRefactor simpl_top
2016-01-07  Simon Peyton JonesInline solveTopConstraints
2016-01-07  Simon Peyton JonesComment wibble
2016-01-07  Simon Peyton JonesTidy up tidySkolemInfo
2016-01-07  Simon Peyton JonesSpelling in a comment
2016-01-06  Jan StolarekChange Template Haskell representation of GADTs.
2016-01-06  RyanGlScottRestore old GHC generics behavior vis-à-vis Fixity
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-30  Gabor GreifFix some typos
2015-12-30  Richard EisenbergFix #11305.
2015-12-26  Richard EisenbergFix #11287.
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-26  Richard EisenbergFix #11255.
2015-12-24  Richard EisenbergVisible type application
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-23  Simon Peyton JonesFix super-class cycle check
2015-12-23  Simon Peyton JonesTidy up and comment wildcards in family instances
2015-12-23  Simon Peyton JonesAdd a pattern-syn form of PromotionErr
2015-12-23  Simon Peyton JonesRevert "Allow as-patterns in pattern synonym declarations."
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-22  RyanGlScottRework Template Haskell's handling of strictness
2015-12-22  Simon Peyton JonesComments only, about coercion holes
2015-12-21  Jan StolarekAdd proper GADTs support to Template Haskell
2015-12-21  Ömer Sinan AğacanTcTyClsDecls: Remove invalid comments about list monads
2015-12-21  RyanGlScottEncode strictness in GHC generics metadata
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-21  Alan ZimmermanAdd Location to RdrName in FieldOcc
2015-12-21  Ömer Sinan AğacanTcTyClsDecls: Add a type annotation
2015-12-21  Ömer Sinan AğacanTcTyClsDecls: use zipWith3M_ instead of generating...
2015-12-20  Matthew PickeringAllow as-patterns in pattern synonym declarations.
2015-12-18  Simon Peyton JonestcCheckSatisfiability: less aggressive superclass expansion
2015-12-17  Richard EisenbergFix tcTyClTyVars to handle SigTvs
2015-12-17  Adam GundryReify DuplicateRecordFields by label, rather than by...
2015-12-17  David LuposchainskyConditionally show plural "s" in warnings
2015-12-17  Ben GamariTcTypeable: Don't use bogus fingerprints when suppress...
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-16  Richard EisenbergNote [The equality types story] in TysPrim
2015-12-16  David LuposchainskyAdd `-W(no-)xxx` aliases for `-f(no-)warn-xxx` flags
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-14  Gabor GreifSome more typos in comments
2015-12-12  Richard EisenbergRemove redundant imports
2015-12-12  John LeoRefactor type families in Template Haskell
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-11  Adam GundryFix infix record field fixity (#11167 and #11173).
2015-12-11  Matthew PickeringMake sure PatSyns only get added once to tcg_patsyns
next