Add 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882ced984655e90b'
[ghc.git] / compiler / coreSyn / CoreLint.hs
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-19  Ningning XieAdding almost devoid check for covar in ForAllCo
2018-10-04  Simon Peyton JonesMake Lint check that for CoVars more carefully
2018-09-26  Simon Peyton JonesFix Lint of unsaturated type families
2018-09-15  ningningCoercion Quantification
2018-09-13  Simon Peyton JonesAllow (~) in the head of a quantified constraints
2018-07-10  ningningRefactor coercion rule
2018-07-06  Matthew PickeringSimplify lintIdUnfolding
2018-07-06  Ryan ScottMake a variant of mkCastErr for kind coercions
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-15  Simon Peyton JonesFix corner case in typeKind, plus refactoring
2018-06-04  Simon Peyton JonesExpand type synonyms when Linting a forall
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-04-27  Simon Peyton JonesBetter linting for types
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-20  Ryan ScottLint types in newFamInst
2018-03-06  Bartosz NitkaAllow top level ticked string literals
2018-02-27  Simon Peyton JonesTiny refactor in Core Lint
2018-02-07  Simon Peyton JonesFix utterly bogus TagToEnum rule in caseRules
2018-02-01  Simon Peyton JonesAdd -ddump-ds-preopt
2018-01-15  Ömer Sinan AğacanCoreLint: typo in a comment
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  David FeuerRemove unreliable Core Lint empty case checks
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-09  Joachim BreitnerInvoke lintUnfolding only on top-level unfoldings ...
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-30  Michal TerepetaAllow packing constructor fields
2017-10-29  Joachim BreitnerImplement a dedicated exitfication pass #14152
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-09  Herbert Valerio... Canonicalise MonoidFail instances in GHC
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-29  Simon Peyton JonesImprove kind-application-error message
2017-08-18  Simon Peyton JonesRestrict Lint's complaints about recursive INLINEs...
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
2017-08-01  Ryan ScottDrop GHC 7.10 compatibility
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
2017-04-06  Ben GamariEnable lint checking of levity polymorphic coercions
2017-03-31  Joachim BreitnerDisable bogus lint checks about levity polimorphic...
2017-03-29  Simon Peyton JonesAllow unbound Refl binders in a RULE
2017-03-28  Gabor GreifSpelling in comments only [ci skip]
2017-03-27  Richard EisenbergFix #13458
2017-03-17  Simon Peyton JonesImprove Lint a little
2017-03-15  Ben GamariIntroduce putLogMsg
2017-03-11  Ben FiedlerEmit Core lint warnings on stderr, fix #13342
2017-03-08  Simon Peyton JonesJoin points can be levity-polymorphic
2017-02-21  Simon Peyton JonesImprove Core Lint, mainly for join points
2017-02-18  Ben GamariType-indexed Typeable
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-16  Simon Peyton JonesImprove checking of joins in Core Lint
2017-02-03  Sylvain HenryDitch static flags
2017-02-01  Luke MaurerJoin points
2017-01-20  Takano AkioAllow top-level string literals in Core (#8472)
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-13  Facundo DomínguezDesugar static forms to makeStatic calls.
2017-01-06  Facundo DomínguezRevert "Have addModFinalizer expose the local type...
2017-01-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2017-01-06  Simon Peyton JonesUse the right in-scope set
2017-01-05  Simon Peyton JonesEnsure nested binders have Internal Names
2016-12-21  Simon Peyton JonesMove InId/OutId to CoreSyn
2016-12-21  Simon Peyton JonesLint DFunUnfoldings
2016-11-30  Simon Peyton JonesRename RuntimeRepPolymorphism to LevityPolymorphism
2016-11-29  Gabor GreifTypos in comments
2016-11-13  Ben GamariKill Type pretty-printer
2016-08-25  Joachim BreitnerDegrade "case scrutinee not known to diverge for sure...
2016-08-14  Gabor GreifMisspellings in comments [skip ci]
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-06-28  Facundo DomínguezStop the simplifier from removing StaticPtr binds.
2016-06-23  Facundo DomínguezHave Core linter accept programs using StaticPointers...
2016-06-22  Gabor GreifTypos in comments [skip ci]
2016-06-17  Ömer Sinan AğacanCoreLint: Slightly improve case type annotation error...
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-08  Ömer Sinan AğacanReport term sizes with -v3 even when -ddump is enabled
2016-05-18  Bartosz NitkaKill varEnvElts in tcPragExpr
2016-05-10  Simon Peyton JonesComments about static forms
2016-05-06  Facundo DomínguezExplain linter optimization for StaticPtr checks.
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-04-28  Simon Peyton JonesFix debug-only check in CoreLint
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-03-30  Bartosz NitkaDon't recompute some free vars in lintCoercion
2016-03-29  Bartosz NitkaUse the correct substitution in lintCoercion
2016-03-24  Simon Peyton JonesTidy up handling of coercion variables
2016-03-24  Ben GamariErrUtils: Add timings to compiler phases
2016-03-01  Simon Peyton JonesDon't complain about unused Rule binders
2016-02-26  Simon Peyton JonesFix and refactor strict pattern bindings
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton JonesImprove piResultTys and friends
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-15  Simon Peyton JonesComments and white space
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-28  Bartosz NitkaUse the in_scope set in lint_app
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-27  Bartosz NitkaFix a typo in the note name in comments
2016-01-26  Bartosz NitkaPass InScopeSet to substTy in lintTyApp
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
next