Revert "Make globals use sharedCAF"
[ghc.git] / compiler / coreSyn /
2016-11-30  Simon Peyton JonesRename RuntimeRepPolymorphism to LevityPolymorphism
2016-11-29  Gabor GreifTypos in comments
2016-11-28  Simon Peyton JonesComments only (related to #12789)
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-03  Ben GamariMerge cpe_ExprIsTrivial and exprIsTrivial
2016-11-02  Simon Peyton JonesRenaming and comments in CorePrep
2016-10-12  Simon Peyton JonesComments and equation ordering only
2016-09-24  Joachim BreitnerReplace INLINEABLE by INLINABLE (#12613)
2016-08-30  Edward Z. YangFix binary-trees regression from unnecessary floating...
2016-08-25  Joachim BreitnerDegrade "case scrutinee not known to diverge for sure...
2016-08-21  Edward Z. YangFix #12472 by looking for noinline/lazy inside oversatu...
2016-08-21  Edward Z. YangWhen a value Id comes from hi-boot, insert noinline...
2016-08-21  Edward Z. YangIntroduce BootUnfolding, set when unfolding is absent...
2016-08-21  Edward Z. YangSupport for noinline magic function.
2016-08-14  Gabor GreifMisspellings in comments [skip ci]
2016-08-10  Ömer Sinan AğacanRemove StgRubbishArg and CmmArg
2016-08-05  Ömer Sinan AğacanReplace some `length . filter` with `count`
2016-07-21  Simon Peyton JonesComments only
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-04  Ömer Sinan AğacanMkCore: Fix some note names
2016-06-28  Facundo DomínguezStop the simplifier from removing StaticPtr binds.
2016-06-24  Simon Peyton JonesImprove typechecking of instance defaults
2016-06-23  Facundo DomínguezHave Core linter accept programs using StaticPointers...
2016-06-22  Gabor GreifMore typos in comments [skip ci]
2016-06-22  Gabor GreifTypos in comments [skip ci]
2016-06-22  Simon MarlowSecond attempt to fix sizeExpr
2016-06-17  Ömer Sinan AğacanCoreLint: Slightly improve case type annotation error...
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-10  Simon Peyton JonesSmall refactor to mkRuntimErrorId
2016-06-09  Bartosz NitkaRemove Ord AltCon
2016-06-09  Edward Z. YangFix #12076 by inlining trivial expressions in CorePrep.
2016-06-08  Ömer Sinan AğacanReport term sizes with -v3 even when -ddump is enabled
2016-06-02  Bartosz NitkaLocalize orphan-related nondeterminism
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-24  Bartosz NitkaMake Arrow desugaring deterministic
2016-05-18  Bartosz NitkaKill varEnvElts in tcPragExpr
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-05-10  Simon Peyton JonesComments about static forms
2016-05-06  Facundo DomínguezExplain linter optimization for StaticPtr checks.
2016-05-04  Bartosz NitkaKill non-deterministic foldUFM in TrieMap and TcAppMap
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-27  Joachim BreitnerImplement the state hack without modifiyng OneShotInfo
2016-04-22  Bartosz NitkaGet rid of varSetElemsWellScoped in abstractFloats
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-20  Bartosz NitkaBuild a correct substitution in dataConInstPat
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-04-14  Joachim BreitnerAdd a final demand analyzer run right before TidyCore
2016-04-08  Bartosz NitkaFix a comment: triple -> tuple
2016-04-06  Joachim BreitnerCore pretty printer: Omit wild case binders
2016-03-31  Simon Peyton JonesRevert accidental change to collectTyAndValBinders
2016-03-30  Bartosz NitkaDon't recompute some free vars in lintCoercion
2016-03-30  Gabor GreifTypos in non-code
2016-03-29  Joachim BreitnerRename isNopSig to isTopSig
2016-03-29  Joachim BreitnerTypo in Note name
2016-03-29  Bartosz NitkaUse the correct substitution in lintCoercion
2016-03-25  Simon Peyton JonesCorePrep: refactoring to reduce duplication
2016-03-25  Simon Peyton JonesDo not eta-reduce across Ticks in CorePrep
2016-03-24  Simon Peyton JonesTidy up handling of coercion variables
2016-03-24  Ben GamariErrUtils: Add timings to compiler phases
2016-03-09  Simon Peyton JonesFix the implementation of lazyId
2016-03-01  Simon Peyton JonesDon't complain about unused Rule binders
2016-02-26  Simon Peyton JonesGet the right in-scope set in specUnfolding
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-02-12  Simon MarlowRevert "sizeExpr: fix a bug in the size calculation"
2016-02-11  Simon MarlowsizeExpr: fix a bug in the size calculation
2016-02-11  Simon Peyton JonesComments about ru_auto
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  Bartosz NitkaRename "open" subst functions
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-26  Simon Peyton JonesWhite space only
2016-01-25  Simon Peyton JonesFix exprIsHNF (Trac #11248)
2016-01-20  Simon Peyton JonesOops. Add missing close-comment
2016-01-20  Simon Peyton JonesFix combineIdenticalAlts
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-16  Rik SteenkampFix some typos
2016-01-13  Ömer Sinan AğacanMinor improvement in CoreDump outputs:
2016-01-09  Ömer Sinan AğacanTrieMap: Minor documentation fix
2016-01-07  Simon Peyton JonesMake demand analysis understand catch
2016-01-01  Simon Peyton JonesAdd strictness for runRW#
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-31  Simon Peyton JonesComments only
2015-12-31  Simon Peyton JonesImprove exprIsBottom
2015-12-26  Richard EisenbergFix #11287.
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-24  Richard EisenbergVisible type application
2015-12-24  Simon Peyton JonesRefactoring only
next