Typos in comments only [ci skip]
[ghc.git] / compiler / typecheck / TcHsType.hs
2017-01-10  Alan ZimmermanMake HsIParamTy have a Located HsIPName
2017-01-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Gabor GreifTypos in comments
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-04  Simon Peyton JonesRemove a debug trace
2016-11-02  Simon Peyton JonesSimplify the API for TcHsType.kcHsTyVarBndrs
2016-11-02  Simon Peyton JonesGet rid of TcTyVars more assiduously
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-19  Simon Peyton JonesTest for newtype with unboxed argument
2016-10-10  Simon Peyton JonesDelete orphan where clause
2016-09-05  mniipLess scary arity mismatch error message when deriving
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-06-30  Alexander ViethTrac #11554 fix loopy GADTs
2016-06-25  Richard EisenbergRefactor tcInferArgs and add comments.
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesRemove some traceTc calls
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-26  Simon Peyton JonesReduce special-casing for nullary unboxed tuple
2016-05-10  Simon Peyton JonesEmit wild-card constraints in the right place
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-19  Simon Peyton JonesRefactor computing dependent type vars
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-21  Richard EisenbergFix #11635 / #11719.
2016-03-17  Richard EisenbergFix #11716.
2016-03-17  Csongor Kisstypechecker: fix trac issue #11708
2016-03-15  Richard EisenbergFix #11648.
2016-03-01  Simon Peyton JonesA bit more tracing in TcHsType.tcTyVar
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergFix #11246.
2016-02-16  Rik SteenkampFix two wrong uses of "data constructor" in error msgs
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Richard EisenbergFix some substitution InScopeSets
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-18  Simon Peyton JonesLayout only
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-07  Simon Peyton JonesTurn AThing into ATcTyCon, in TcTyThing
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 JonesAdd a pattern-syn form of PromotionErr
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-17  Richard EisenbergFix tcTyClTyVars to handle SigTvs
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Alan ZimmermanRefactor ConDecl
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-23  Simon Peyton JonesImprove constraint-used-as-type error msg
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-09-03  Jan StolarekInjective type families
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-06  Gabor GreifSpelling in comments
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-09  Thomas WinantRefactor wild card renaming
2015-06-01  Simon Peyton JonesImprove constraint tuples (Trac #10451)
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-03-04  Simon Peyton JonesSome minor refactoring in TcHsType
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2014-12-17  Gabor GreifTypos in comments
2014-12-03  Austin Seippcompiler: de-lhs typecheck/