Expose enabled language extensions to TH
[ghc.git] / compiler / typecheck / TcBinds.hs
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-11  Matthew PickeringMake sure PatSyns only get added once to tcg_patsyns
2015-12-09  Gabor GreifMore typos in comments/docs
2015-12-08  Simon Peyton JonesComments about polymorphic recursion
2015-12-07  Eric SeidelMove checking for missing signatures to RnNames.reportU...
2015-12-04  Simon Peyton JonesTidy user type errors in checkValidType
2015-12-04  Simon Peyton JonesWibbles only
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
2015-11-14  Adam Sandberg ErikssonImplement the Strict language extension
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-11-11  Alan ZimmermanRemove fun_infix from Funbind, as it is now in Match
2015-10-30  Ben GamariGenerate Typeable info at definition sites
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-28  Simon Peyton JonesPattern synonyms: swap provided/required
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-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-05  Simon Peyton JonesFix quantification for inference with sigs
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-30  Simon Peyton JonesBetter treatment of signatures in cls/inst
2015-07-21  Simon Peyton JonesAdd NOINLINE for hs-boot functions
2015-07-09  Simon Peyton JonesWhite space only
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-02  Gabor GreifTypofixes
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-06  Austin SeippRevert "API Annotations : add Locations in hsSyn were...
2015-05-06  Alan ZimmermanAPI Annotations : add Locations in hsSyn were layout...
2015-04-30  Simon Peyton JonesTidy up treatment of FlexibleContexts
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-02-19  Simon Peyton JonesComments only
2015-02-19  Thomas WinantFix #10045
2015-02-13  Simon Peyton JonesRefactor decideQuantification
2015-01-22  Simon Peyton JonesMerge branch 'master' of ssh://git.haskell.org/ghc
2015-01-20  Dr. ERDI GergoCosmetic: Fix all uses of the word 'worker' when referr...
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-14  Simon Peyton JonesRefactor handling of SPECIALISE pragmas (Trac #5821)
2015-01-09  Dr. ERDI GergoPattern synonym names need to be in scope before renami...
2015-01-09  Simon Peyton JonesMake TcRnMonad.reportWarning call makeIntoWarning
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesAlways generalise a partial type signature
2014-12-16  Peter WortmannGeneralized Coverage pass to allow adding multiple...
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-12-03  Austin Seippcompiler: de-lhs typecheck/