Mention which -Werror promoted a warning to an error
[ghc.git] / compiler / typecheck /
2017-07-11  Ömer Sinan AğacanMention which -Werror promoted a warning to an error
2017-07-11  Ryan ScottRemove unnecessarily returned res_ty from rejigConRes
2017-07-11  Ryan ScottSuppress unused warnings for selectors for some derived...
2017-07-11  Patrick DoughertyMake ':info Coercible' display an arbitrary string...
2017-07-06  Gabor GreifTypos in comments [ci skip]
2017-07-03  Ryan ScottFix #13311 by using tcSplitNestedSigmaTys in the right...
2017-07-03  Gabor Greifrename tcInstBinder(s)X to tcInstBinder(s)
2017-06-29  Simon Peyton JonesFix lexically-scoped type variables
2017-06-29  Gabor Greifremove dead function 'tcInstBinders'
2017-06-28  Gabor GreifRemove unneeded import
2017-06-28  Gabor GreifMore typos in comments [ci skip]
2017-06-28  Gabor GreifTypos in comments and manual [ci skip]
2017-06-28  Simon Peyton JonesFix constraint solving for forall-types
2017-06-28  Simon Peyton JonesDo zonking in tcLHsKindSig
2017-06-28  Simon Peyton JonesFix the in-scope set in TcHsType.instantiateTyN
2017-06-27  Ben GamariTreat banged bindings as FunBinds
2017-06-27  Ben Gamaritypecheck: Consider types containing coercions non...
2017-06-23  Matthew PickeringUse actual universal tvs in check for naughty record...
2017-06-20  Gabor GreifFix note reference [ci skip]
2017-06-18  Ryan ScottLook through type synonyms in existential contexts...
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-12  Douglas WilsonImprove getNameToInstancesIndex
2017-06-08  Douglas WilsonAdd tcRnGetNameToInstancesIndex
2017-06-07  Simon Peyton JonesSpelling typos
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-05  Simon Peyton JonesMake the MR warning more accurage
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-06-02  Gabor GreifA few typos [ci skip]
2017-05-31  Bartosz NitkaFaster checkFamInstConsistency
2017-05-28  Alan ZimmermanRemove HsContext from ppr_mono_ty, and remove ppParendH...
2017-05-26  Gabor GreifTypos in comments [ci skip]
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-26  Simon Peyton JonesMake isInsolubleOccursCheck more aggressive
2017-05-26  Simon Peyton JonesA bit more tc-tracing
2017-05-25  Simon Peyton JonesPattern synonyms and higher rank types
2017-05-25  Simon Peyton JonesComments only
2017-05-19  Simon Peyton JonesFix scoping of data cons during kind checking
2017-05-19  Simon Peyton JonesEnsure that insolubles are fully rewritten
2017-05-16  Simon Peyton JonesTiny refactor
2017-05-15  Bartosz NitkaRevert "Use a deterministic map for imp_dep_mods"
2017-05-15  Bartosz NitkaRevert "Stress test for nested module hierarchies"
2017-05-15  Bartosz NitkaStress test for nested module hierarchies
2017-05-11  Matthew PickeringRnEnv refactoring
2017-05-11  Ben GamariAllow spliced patterns in pattern synonyms
2017-05-09  Simon Peyton JonesReset cc_pend_sc flag in dropDerivedCt
2017-05-09  Ben GamariTreat banged bindings as FunBinds
2017-05-08  NolanMake XNegativeLiterals treat -0.0 as negative 0
2017-05-04  Ben GamariTcTypeable: Simplify
2017-05-04  Matthew PickeringImplement sequential name lookup properly
2017-05-04  Simon Peyton JonesComments only, about Typeable/TypeRep/KindRep
2017-05-04  Simon Peyton JonesDeal with exceptions in dsWhenNoErrs
2017-05-03  Richard EisenbergFix #13333 by fixing the covar's type in ctEvCoercion
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
2017-05-01  Ben GamariFix capitalization in message for #13609
2017-05-01  Shea LevyIgnore ANN pragmas with no TH and no external interpreter.
2017-04-29  Ben GamariPrefer #if defined to #ifdef
2017-04-28  Ryan ScottMake the tyvars in TH-reified data family instances...
2017-04-28  Simon Peyton JonesComments only
2017-04-28  Simon Peyton JonesA bit more tcTrace
2017-04-28  Simon Peyton JonesComments and tiny refactoring
2017-04-18  Bartosz NitkaUse intersect and minus instead of filter
2017-04-13  Matthías Páll Giss... Fix typo in TcErrors.hs
2017-04-13  Simon Peyton JonesRemove dead quantifyTyVars
2017-04-13  Simon Peyton JonesYet more work on TcSimplify.simplifyInfer
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-04-12  Matthew PickeringAllow qualified names to be children in export lists
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-04-06  Simon Peyton JonesBe less aggressive about fragile-context warrnings
2017-04-06  Simon Peyton JonesComments only
2017-04-06  Simon Peyton JonesYet another attempt at inferring the right quantification
2017-04-06  Simon Peyton JonesComments and eta expand only
2017-04-06  Simon Peyton JonesAdd a missing addDeferredBinding
2017-04-06  Simon Peyton JonesDon't report fundep wanted/wanted errors
2017-04-05  Gabor GreifTypos in comments [ci skip]
2017-04-05  Matthew PickeringReplace Digraph's Node type synonym with a data type
2017-04-02  Edward Z. YangExtra docs on tcg_imports.
2017-04-02  Edward Z. YangExtra docs on exports_from_avail.
2017-04-02  Edward Z. YangAdd more documentation on mergeSignatures.
2017-04-02  Edward Z. YangFix recompilation avoidance bug for implementor of...
2017-04-02  David FeuerDerive the definition of null
2017-04-01  David FeuerDon't derive showList
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-30  David FeuerDeriving for phantom and empty types
2017-03-30  Gabor GreifTypos in comments [ci skip]
2017-03-29  Matthías Páll Giss... Show valid substitutions for typed holes
2017-03-29  Simon Peyton JonesFix ASSERT failure in TcErrors
2017-03-28  Simon Peyton JonesComplete the fix for #13441 (pattern synonyms)
2017-03-27  Simon Peyton JonesFix 'unsolved constraints' in GHCi
2017-03-27  Simon Peyton JonesFix error-message suppress on given equalities
2017-03-27  Simon Peyton JonesFix explicitly-bidirectional pattern synonyms
2017-03-27  Simon Peyton JonesTypechecker comments and debug tracing only
2017-03-27  Simon Peyton JonesSimplify the logic for tc_hs_sig_type
2017-03-24  Gabor GreifTypos in comments (notes too) [ci skip]
2017-03-17  Richard EisenbergRemove solveSomeEqualities
2017-03-17  Richard EisenbergFix #13343 by not defaulting SigTvs
2017-03-17  Richard EisenbergFix #13202 by failing more eagerly in tcRnStmt
2017-03-17  Richard EisenbergComment coercion flattening [skip ci]
2017-03-17  Gabor GreifTypos in manual and comments [ci skip]
2017-03-17  Edward Z. YangSave renamed syntax when signature merging.
next