Expose enabled language extensions to TH
[ghc.git] / compiler / typecheck / Inst.hs
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-12  Richard EisenbergRemove redundant imports
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-02  Bartosz NitkaImplement more deterministic operations and document...
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-08  Edward Z. YangMove orphan instance/rule warnings to typechecker/desug...
2015-10-06  Simon Peyton JonesComments only
2015-07-24  Simon Peyton JonesRefactoring around FunDeps
2015-06-18  Simon Peyton JonesRemove some horrible munging of origins for Coercible
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-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-17  Simon Peyton JonesFix GHCi/GHC-API tidying and modules (Trac #9424, ...
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Simon Peyton JonesGet rid of TcMType.newWantedEvVar(s)
2014-12-03  Austin Seippcompiler: de-lhs typecheck/