Remove unreliable Core Lint empty case checks
[ghc.git] / compiler / coreSyn / CoreLint.hs
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
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-11-23  Ben GamariSupport multiple debug output levels
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-02  Ben GamariFix treatment of -0.0
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-08-05  Simon Peyton JonesAllow proper errors/warnings in core2core passes
2015-08-03  Gabor GreifTypos in comments [skip ci]
2015-07-16  Ben GamariCoreLint: Use size-annotated ppr variant
2015-07-16  Ben GamariCoreUtils: Move size utilities to CoreStats
2015-07-13  Simon Peyton JonesReformat a leading # in a comment
2015-07-13  Simon Peyton JonesAdd Linting for Rules
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-20  Edward Z. YangFilter orphan rules based on imports, fixes #10294...
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-24  Richard EisenbergFix #10285 by refusing to use NthCo on a newtype.
2015-03-24  Simon Peyton JonesMore comments (related to Trac #10180)
2015-03-24  Joachim BreitnerEmpty alternative lint check: Explain why there are...
2015-03-24  Joachim BreitnerexprIsBottom: Make use of isEmptyTy (#10186)
2015-03-23  Joachim BreitnerAdd Note [No alternatives lint check]
2015-03-23  Joachim BreitnerNew lint check: Check idArity invariants (#10181)
next