s/FrontendMerge/FrontendInterface/g
[ghc.git] / compiler / typecheck / TcRnTypes.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
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-04-30  Gabor GreifTypo fixes (mostly in comments)
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-17  Edward Z. YangComments only.
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-17  Simon Peyton JonesRefactor the extra-deps stuff for hs-boot
2015-02-23  Thomas MiedemaError out on `Main` without `main` in GHCi (#7765)
2015-01-14  Simon Peyton JonesRefactor handling of SPECIALISE pragmas (Trac #5821)
2015-01-09  Simon Peyton JonesA little tidying up in the flattener
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesModify a couple of error messages slightly
2015-01-06  Simon Peyton JonesMake the location in TcLclEnv and CtLoc into a RealSrcSpan
2014-12-31  Simon Peyton JonesWhen solving one Given from another, use the depth...
2014-12-23  Simon Peyton JonesA bit of refactoring to TcErrors
2014-12-17  Simon Peyton JonesFix GHCi/GHC-API tidying and modules (Trac #9424, ...
2014-12-17  Simon Peyton JonesFix the scope-nesting for arrows
2014-12-15  Simon Peyton JonesFix dll-split problem with patch 'Make Core Lint check...
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-12-03  Austin Seippcompiler: de-lhs typecheck/