Improve type-error reporting
[ghc.git] / compiler / typecheck / TcBinds.hs
2017-09-25  Simon Peyton JonesImprove type-error reporting
2017-09-25  Simon Peyton JonesDeal with large extra-contraints wildcards
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-26  Gabor GreifTypos in comments [ci skip]
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
2017-04-28  Simon Peyton JonesComments and tiny refactoring
2017-04-13  Simon Peyton JonesYet more work on TcSimplify.simplifyInfer
2017-04-06  Simon Peyton JonesComments and eta expand only
2017-04-05  Matthew PickeringReplace Digraph's Node type synonym with a data type
2017-03-14  Richard EisenbergFix #13337.
2017-03-14  Gabor GreifTypos in manual and comments
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-06  Ben GamariRead COMPLETE sets from external packages
2017-03-03  Ben GamariRevert "Read COMPLETE sets from external packages"
2017-03-03  Ryan ScottRead COMPLETE sets from external packages
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-24  Alan ZimmermanMake SCCFunSig tag Located for ghc-exactprint
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-19  Richard EisenbergUpdate levity polymorphism
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
next