Fix over-eager error suppression in TcErrors
[ghc.git] / compiler / typecheck / TcRnTypes.hs
2017-10-24  Simon Peyton JonesFix over-eager error suppression in TcErrors
2017-09-19  Ben GamariRevert "Improve error messages around kind mismatches."
2017-08-31  Richard EisenbergImprove error messages around kind mismatches.
2017-08-25  Simon Peyton JonesDo not discard insolubles in implications
2017-07-20  Ben GamariTypeable: Ensure that promoted data family instance...
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-05-20  Simon Peyton JonesFix scoping of data cons during kind checking
2017-05-16  Bartosz NitkaRevert "Use a deterministic map for imp_dep_mods"
2017-05-16  Simon Peyton JonesReset cc_pend_sc flag in dropDerivedCt
2017-05-03  Richard EisenbergFix #13333 by fixing the covar's type in ctEvCoercion
2017-05-03  Simon Peyton JonesComments only
2017-04-13  Simon Peyton JonesYet more work on TcSimplify.simplifyInfer
2017-03-15  Simon Peyton JonesImprove error messages for skolems
2017-03-09  Francesco MazzoliAllow compilation of C/C++/ObjC/ObjC++ files with modul...
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-02  David FeuerEliminate ListSetOps from imp_trust_pkgs
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-17  Edward Z. YangFix recompilation tracking on signatures.
2017-02-16  Simon Peyton JonesUse the correct origin in SectionL and Section R
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-02-09  Facundo DomínguezImplement addCStub in template-haskell.
2017-02-08  Gabor GreifMore typos in comments [skip ci]
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-22  Edward Z. YangRewrite Backpack comments on never-exported TyThings.
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
2017-01-11  Edward Z. YangFix handling of closed type families in Backpack.
2016-12-20  Shea LevyAllow use of the external interpreter in stage1.
2016-12-19  Tamar ChristinaRevert "Allow use of the external interpreter in stage1."
2016-12-18  Edward Z. YangCheck family instance consistency of hs-boot families...
2016-12-18  Shea LevyAllow use of the external interpreter in stage1.
2016-12-16  Ben GamariCLabel: Kill redundant UnitId argument from labelDynamic
2016-12-12  Simon Peyton JonesMake dropDerivedSimples restore [WD] constraints
2016-12-12  Simon Peyton JonesRefactor pruning of implication constraints
2016-11-25  Simon Peyton JonesRefactor functional dependencies a bit
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-18  Gabor GreifSpelling in comment only
2016-11-17  Facundo DomínguezHave reify work for local variables with functional...
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-10-13  Simon Peyton JonesFurther improve error handling in TcRn monad
2016-10-08  Edward Z. YangDistinguish between UnitId and InstalledUnitId.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-09-28  Gabor GreifComments and manual only: spelling
2016-09-13  Simon Peyton JonesComments and white space only
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-16  Gabor GreifTypo in comment
2016-08-01  Annie CherkaevRelevant Bindings no longer reports shadowed bindings...
2016-07-26  Edward Z. YangCompute boot-defined TyCon names from ModIface.
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-22  Simon Peyton JonesExpand given superclasses more eagerly
2016-06-22  Gabor GreifMore typos in comments [skip ci]
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-09  Facundo DomínguezImprove the error messages for static forms.
2016-06-07  Bartosz NitkaFix build by removing unused import
2016-06-07  Bartosz NitkaUse a deterministic map for imp_dep_mods
2016-06-02  Edward Z. YangImprove failed knot-tying error message.
2016-05-24  Simon Peyton JonesDon't split the arg types in a PatSyn signature
2016-05-18  Bartosz NitkaKill varEnvElts in tcPragExpr
2016-05-10  Simon Peyton JonesComments only
2016-05-04  Iavor S. DiatchkiBe more aggressive when checking constraints for custom...
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-04-29  Bartosz NitkaFix typo: Superclases -> Superclasses
2016-04-26  Bartosz NitkaKill varSetElems try_tyvar_defaulting
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-04-04  Eric SeidelDon't infer CallStacks
2016-04-02  Rik SteenkampImprove printing of pattern synonym types
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-02-25  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
2016-02-16  Rik SteenkampFix typos
2016-02-16  Rik SteenkampFix two wrong uses of "data constructor" in error msgs
2016-02-08  Simon Peyton JonesFix a nasty superclass expansion bug
2016-02-08  Simon Peyton JonesDocument and improve superclass expansion
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-24  Thomas MiedemaRemove `replaceDynFlags` from `ContainsDynFlags`
2016-01-22  Eric SeidelDefault non-canonical CallStack constraints
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  Simon Peyton JonesImprove debug printing/warnings
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
next