Fix top-level constraint handling (Trac #12921)
[ghc.git] / compiler / typecheck / TcRnDriver.hs
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
2017-01-11  Edward Z. YangFix handling of closed type families in Backpack.
2017-01-11  Edward Z. YangRevamp Backpack/hs-boot handling of type class signatures.
2016-12-21  Simon Peyton JonesTest Trac #12968, plus some comments
2016-12-20  Shea LevyAllow use of the external interpreter in stage1.
2016-12-19  Tamar ChristinaRevert "Allow use of the external interpreter in stage1."
2016-12-18  Edward Z. YangCheck family instance consistency of hs-boot families...
2016-12-18  Shea LevyAllow use of the external interpreter in stage1.
2016-11-17  Facundo DomínguezHave reify work for local variables with functional...
2016-11-17  Richard EisenbergCorrect name of Note in comment
2016-10-26  Matthew PickeringMake traceRn behave more like traceTc
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-20  Edward Z. YangFix Mac OS X build by removing space after ASSERT.
2016-10-20  Edward Z. YangSupport constraint synonym implementations of abstract...
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
2016-10-08  Matthew PickeringRework renaming of children in export lists.
2016-10-08  Edward Z. YangDistinguish between UnitId and InstalledUnitId.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-09-13  Simon Peyton JonesComments and white space only
2016-09-05  Facundo DomínguezDon't ignore addTopDecls in module finalizers.
2016-08-21  Edward Z. YangAxe initIfaceTc, tie the knot through HPT (or if_rec_ty...
2016-07-05  Bartosz NitkaKill varEnvElts in zonkEnvIds
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-23  Richard EisenbergFix #10963 and #11975 by adding new cmds to GHCi.
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-09  Edward Z. YangFix #12064 by making IfaceClass typechecking more lazy.
2016-06-07  Bartosz NitkaUse a deterministic map for imp_dep_mods
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-06-03  Ryan ScottDerive instances in Data.Data
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-05-12  Edward Z. YangRemove stale comment.
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
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-05  Simon Peyton JonesUse exprCtOrigin in tcRnExpr
2016-04-04  Simon Peyton JonesDeeply instantiate in :type
2016-03-24  Ben GamariErrUtils: Add timings to compiler phases
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Ben GamariUnwire Typeable representation types
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-19  Gabor GreifTypos in comments
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2015-12-30  Gabor GreifFix some typos
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-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Eric SeidelMove checking for missing signatures to RnNames.reportU...
2015-12-07  Alan ZimmermanRefactor ConDecl
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-29  David LuposchainskyImplement warnings for Semigroups as parent of Monoid
2015-11-29  Thomas MiedemaGHCi should not defer typed holes
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
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-29  Matthew PickeringRecord pattern synonyms
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-12  Simon Peyton JonesReinstate monomorphism-restriction warnings
2015-09-21  Edward Z. YangUnify hsig and hs-boot; add preliminary "hs-boot" merging.
2015-09-21  Edward Z. YangRevert "Revert "Revert "Change loadSrcInterface to...
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-21  Richard EisenbergPerform a validity check on assoc type defaults.
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
2015-09-03  Jan StolarekInjective type families
2015-08-26  Simon Peyton JonestcRnDeclsi can use tcRnSrcDecls
2015-08-05  Simon Peyton JonesFix quantification for inference with sigs
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-27  Adam Sandberg ErikssonImplementation of StrictData language extension
2015-07-21  Simon Peyton JonesRefactor self-boot info
2015-07-21  Edward Z. YangRevert "Revert "Change loadSrcInterface to return a...
2015-06-16  Richard EisenbergClarify some comments around injectivity.
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. YangRevert "Change loadSrcInterface to return a list of...
2015-06-11  Edward Z. YangRemove redundant tcg_visible_orphan_mods, it is recorde...
2015-06-09  Thomas WinantRefactor wild card renaming
2015-06-03  Simon Peyton JonesRefactor RdrName.Provenance, to fix #7672
2015-06-02  Gabor GreifTypofixes
2015-06-01  Simon Peyton JonesRefactor the GlobalRdrEnv, fixing #7672
2015-06-01  Adam GundryAdd constraint creation functions to TcPluginM API
2015-05-06  Austin SeippRevert "API Annotations : add Locations in hsSyn were...
2015-05-06  Alan ZimmermanAPI Annotations : add Locations in hsSyn were layout...
next