The Backpack patch.
[ghc.git] / compiler / typecheck / TcRnMonad.hs
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-05  Simon Peyton JonesImprove error handling in TcRnMonad
2016-08-21  Edward Z. YangIntroduce BootUnfolding, set when unfolding is absent...
2016-08-21  Edward Z. YangAxe initIfaceTc, tie the knot through HPT (or if_rec_ty...
2016-08-21  Edward Z. YangAnnotate initIfaceCheck with usage information.
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-06-22  Simon MarlowHopefully fix all the rebase-induced breakage
2016-06-22  Simon MarlowFix build breakage due to rebase
2016-06-22  Simon MarlowSecond attempt to fix sizeExpr
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-02  Edward Z. YangImprove failed knot-tying error message.
2016-05-18  Bartosz NitkaKill varEnvElts in tcPragExpr
2016-05-18  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-05-10  Edward Z. YangDocumentation for simplifyDeriv.
2016-04-22  Simon Peyton JonesImprove the behaviour of warnIf
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-24  Thomas MiedemaRemove `replaceDynFlags` from `ContainsDynFlags`
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-08  Simon MarlowSupport for qRecover in TH with -fexternal-interpreter
2015-12-24  Richard EisenbergVisible type application
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-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
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-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-09-21  Edward Z. YangUnify hsig and hs-boot; add preliminary "hs-boot" merging.
2015-09-03  Jan StolarekInjective type families
2015-07-21  Simon Peyton JonesRefactor self-boot info
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
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-09  Thomas WinantRefactor wild card renaming
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-05-12  David TereiFix safe haskell bug: instances in safe-inferred
2015-05-01  Simon Peyton JonesKill off the default types in ghc-prim
2015-02-23  Thomas MiedemaError out on `Main` without `main` in GHCi (#7765)
2015-02-05  Alexander VershilovMake -ddump-splices output to stdout (fixes #8796)
2015-01-13  Greg Weberadd -th-file which generates a th.hs file
2015-01-09  Simon Peyton JonesMake TcRnMonad.reportWarning call makeIntoWarning
2015-01-06  Simon Peyton JonesRemove redundant constraints in the compiler itself...
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesMake the location in TcLclEnv and CtLoc into a RealSrcSpan
2014-12-17  Simon Peyton JonesFix the scope-nesting for arrows
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-10  Simon Peyton JonesReorganise the work list, so that flattening goals...
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-12-03  Austin Seippcompiler: de-lhs typecheck/