Implement unboxed sum primitive type
[ghc.git] / compiler / coreSyn / CoreLint.hs
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)
2015-03-23  Joachim BreitnerNew Lint check: no alternatives implies bottoming expre...
2015-03-22  Joachim BreitnerNew lint check: exprIsHNF = True and alts = [] is bogus
2015-03-07  Alexander VershilovImprove core linter so it catches unsafeCoerce problems...
2015-01-19  Peter WortmannSplit stripTicks into expression editing and tick colle...
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-17  Gabor GreifTypo in note
2014-12-17  Simon Peyton JonesUse the new LintFlags to suppress Lint warnings for...
2014-12-16  Peter WortmannAnnotation linting
2014-12-15  Simon Peyton JonesMake Core Lint check for locally-bound GlobalIds
2014-12-03  Austin Seippcompiler: de-lhs coreSyn/