More typos in comments [skip ci]
[ghc.git] / compiler / typecheck / TcRnTypes.hs
2016-06-22  Gabor GreifMore typos in comments [skip ci]
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 JonesImprove typechecking of let-bindings
2016-06-09  Facundo DomínguezImprove the error messages for static forms.
2016-06-07  Bartosz NitkaFix build by removing unused import
2016-06-07  Bartosz NitkaUse a deterministic map for imp_dep_mods
2016-06-02  Edward Z. YangImprove failed knot-tying error message.
2016-05-24  Simon Peyton JonesDon't split the arg types in a PatSyn signature
2016-05-18  Bartosz NitkaKill varEnvElts in tcPragExpr
2016-05-10  Simon Peyton JonesComments only
2016-05-04  Iavor S. DiatchkiBe more aggressive when checking constraints for custom...
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-04-29  Bartosz NitkaFix typo: Superclases -> Superclasses
2016-04-26  Bartosz NitkaKill varSetElems try_tyvar_defaulting
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-04-04  Eric SeidelDon't infer CallStacks
2016-04-02  Rik SteenkampImprove printing of pattern synonym types
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-02-25  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
2016-02-16  Rik SteenkampFix typos
2016-02-16  Rik SteenkampFix two wrong uses of "data constructor" in error msgs
2016-02-08  Simon Peyton JonesFix a nasty superclass expansion bug
2016-02-08  Simon Peyton JonesDocument and improve superclass expansion
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
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-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 JonesImprove debug printing/warnings
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-13  Iavor S. DiatchkiHandle over-applied custom type errors too.
2016-01-08  Simon MarlowEnable stack traces with ghci -fexternal-interpreter...
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 JonesTidy up tidySkolemInfo
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-24  Richard EisenbergVisible type application
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-22  Simon Peyton JonesComments only, about coercion holes
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-16  Richard EisenbergNote [The equality types story] in TysPrim
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-12  Richard EisenbergRemove redundant imports
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-08  Gabor GreifAn assortment of typos
2015-12-04  Simon Peyton JonesMinor refactoring of user type errors
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-18  Simon Peyton JonesComments on TcRnTypes.canDischarge
2015-11-18  David LuposchainskyImprove MonadFail errors by mentioning the pattern
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-17  Adam GundryImplement OverloadedLabels
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
2015-11-16  Edward Z. Yangs/FrontendMerge/FrontendInterface/g
2015-11-16  Iavor S. DiatchkiImplement support for user-defined type errors.
2015-11-13  Joachim BreitnerRemove imv_empty from ImportedModsVal
2015-11-13  Joachim BreitnerTurn ImportedModsVal into a data type
2015-11-13  Joachim BreitnerGive helpful advice when a fully qualified name is...
2015-11-11  Matthew PickeringAssociate pattern synonyms with types in module exports
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-16  Jan StolarekAdd typed holes support in Template Haskell.
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-06  Edward Z. YangDocumentation for FrontendResult
2015-10-06  Edward Z. YangDeduplicate one-shot/make compile paths.
2015-09-11  Simon Peyton JonesA CFunEqCan can be Derived
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-27  Simon Peyton JonesImprove warnings for rules that might not fire
2015-07-21  Simon Peyton JonesRefactor self-boot info
2015-07-15  Richard EisenbergFix #10642.
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesKill off sizePred
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-24  Sergei TrofimovichClean outdated ext-core references in comments.
2015-06-18  Simon Peyton JonesRemove some horrible munging of origins for Coercible
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Edward Z. YangRemove redundant tcg_visible_orphan_mods, it is recorde...
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-06-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
2015-06-01  Adam GundryAdd constraint creation functions to TcPluginM API
next