Typos in comments only [ci skip]
[ghc.git] / compiler / typecheck / TcBinds.hs
2016-12-12  Alan ZimmermanAdd infix flag for class and data declarations
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-12-05  Simon Peyton JonesFix used-variable calculation (Trac #12548)
2016-11-25  Simon Peyton JonesFix inference of partial signatures
2016-11-21  Gabor GreifA few typos in comments
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Simon Peyton JonesRefactor typechecking of pattern bindings
2016-08-21  Edward Z. YangWhen a value Id comes from hi-boot, insert noinline...
2016-07-20  Ömer Sinan AğacanSupport SCC pragmas in declaration context
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-23  Bartosz NitkaProvide Uniquable version of SCC
2016-06-21  Gabor GreifTypos in comments
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-14  Simon Peyton JonesAdjust error message slightly
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-09  Facundo DomínguezImprove the error messages for static forms.
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-11  Bartosz NitkaDocument SCC determinism
2016-05-10  Simon Peyton JonesUse partial-sig constraints as givens
2016-05-10  Simon Peyton JonesEmit wild-card constraints in the right place
2016-05-10  Simon Peyton JonesWhite space only
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-28  Simon Peyton JonesAdd missing solveEqualities
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-04-04  Eric SeidelDon't infer CallStacks
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-31  Simon Peyton JonesMinor refactoring in mkExport
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Manav RathiMake warning names more consistent
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-12  Simon Peyton JonesSimplify AbsBinds wrapping
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-15  Richard EisenbergFix #11405.
2016-01-07  Simon Peyton JonesSpelling in a comment
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesAdd a pattern-syn form of PromotionErr
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
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/