Remove bogus assertion
[ghc.git] / compiler / coreSyn /
2019-02-22  Simon Peyton JonesFix exprIsConApp_maybe
2019-02-20  Simon Peyton JonesImprove the very simple optimiser slightly
2019-02-19  Krzysztof GogolewskiLook through newtype wrappers (Trac #16254)
2019-02-19  Arnaud SpiwackMake constructor wrappers inline only during the final...
2019-02-19  Krzysztof GogolewskiDisable binder swap in OccurAnal (Trac #16288)
2019-02-01  Sebastian GrafRemove ExnStr and ThrowsExn business
2019-01-31  Sylvain HenryUse ByteString to represent Cmm string literals (#16198)
2019-01-23  Gabor GreifA few typofixes
2019-01-18  Herbert Valerio... Prepare source-tree for base-4.13 MFP bump
2018-12-24  Ömer Sinan AğacanSimplify Core output with -dsuppress-type-signatures
2018-12-21  Simon Peyton JonesFix treatment of hi-boot files and dfuns
2018-12-17  Gabor GreifStomp a few typos and grammaros
2018-12-07  Simon Peyton JonesCareful tweaking to exprOkForSpeculation
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  David EichmannFix unused-import warnings
2018-11-22  Sylvain HenryRename literal constructors
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-24  Simon Peyton JonesComments and white space
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-19  Ningning XieAdding almost devoid check for covar in ForAllCo
2018-10-14  Sebastian GrafAdd RubbishLit for absent bindings of UnliftedRep
2018-10-10  Ömer Sinan AğacanFix dataToTag# argument evaluation
2018-10-04  Simon Peyton JonesMake Lint check that for CoVars more carefully
2018-10-03  Joachim BreitnerMake GHC (the library) flexible in the choice of intege...
2018-09-26  Simon Peyton JonesFix Lint of unsaturated type families
2018-09-23  Simon Peyton JonesFix get getIdFromTrivialExpr
2018-09-15  ningningCoercion Quantification
2018-09-13  Simon Peyton JonesAllow (~) in the head of a quantified constraints
2018-09-13  Tobias DammersHonor INLINE on 0-arity bindings (#15578)
2018-08-21  Simon Peyton JonesSimplify callSiteInline a little
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-21  Simon Peyton JonesSet strictness correctly for JoinIds
2018-08-07  Herbert Valerio... Turn on MonadFail desugaring by default
2018-07-23  Richard EisenbergFix some casts.
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-29  Gabor GreifA few typofixes in comments
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-15  Sylvain HenryBuilt-in Natural literals in Core
2018-06-15  Simon Peyton JonesFix corner case in typeKind, plus refactoring
2018-06-11  David FeuerMake seq# evaluatedness look through casts
2018-06-07  Ben GamariWorkWrap: Rip out unsafeGlobalDynFlags usage in mkWwInl...
2018-06-07  Ben GamariDon't use unsafeGlobalDynFlags in optCoercion
2018-06-06  David FeuerLet the simplifier know that seq# forces
2018-06-04  Simon Peyton JonesExpand type synonyms when Linting a forall
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-06-02  klebinger.andreas... Optimizations for CmmBlockElim.
2018-05-30  ningningDefine MCoercion type
2018-05-25  Simon Peyton JonesComments about the substition invariant
2018-05-15  Ben GamariRevert "Simplify callSiteInline a little"
2018-05-14  Tobias DammersFix performance regressions from #14737
2018-05-14  Matthew PickeringAdd note documenting refineDefaultAlt
2018-05-10  Ömer Sinan AğacanFix #15038
2018-05-05  klebinger.andreas... Split TrieMap into a general (TrieMap) and core specifi...
2018-05-04  Simon Peyton JonesSimplify callSiteInline a little
2018-05-03  David FeuerSet arity for absentError
2018-05-01  Simon Peyton JonesPreserve join-point arity in CoreOpt
2018-05-01  Simon Peyton JonesDon't crash when pretty-printing bad joins
2018-04-27  Simon Peyton JonesBetter linting for types
2018-04-27  Simon Peyton JonesComments only: the FVAnn invariant
2018-04-20  Tobias DammersRemove unnecessary check in simplCast
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-20  Ryan ScottLint types in newFamInst
2018-04-10  Richard EisenbergDiscard reflexive casts during Simplify
2018-04-07  Simon JakobiCoreUtils.filterAlts: Correct docs
2018-04-07  Simon JakobiImprove documentation for refineDefaultAlt
2018-03-26  Ben GamariAdd new debugging flag -dinline-check
2018-03-20  Simon Peyton JonesFix seq# case of exprOkForSpeculation
2018-03-06  Bartosz NitkaAllow top level ticked string literals
2018-02-27  Simon Peyton JonesComments only
2018-02-27  Simon Peyton JonesTiny refactor in Core Lint
2018-02-13  Ömer Sinan AğacanCollect CCs in CorePrep, including CCs in unfoldings
2018-02-07  Simon Peyton JonesFix utterly bogus TagToEnum rule in caseRules
2018-02-01  Simon Peyton JonesAdd -ddump-ds-preopt
2018-01-25  Simon Peyton JonesFix the lone-variable case in callSiteInline
2018-01-25  Simon Peyton JonesComments only
2018-01-21  John KyAdd new mbmi and mbmi2 compiler flags
2018-01-17  Gabor GreifTypos in comments
2018-01-15  Bartosz NitkaFix quadratic behavior of prepareAlts
2018-01-15  Ömer Sinan AğacanCoreLint: typo in a comment
2018-01-15  David FeuerKill off irrefutable pattern errors
2018-01-09  Simon Peyton JonesFix join-point decision
2018-01-03  Gabor GreifTypos in comments
2018-01-03  Simon Peyton JonesGet evaluated-ness right in the back end
2018-01-02  Joachim BreitnerRewrite Note [The polymorphism rule of join points]
2017-12-28  Gabor GreifTypos in comments [ci skip]
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-19  Simon Peyton JonesStop runRW# being magic
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-13  Gabor GreifTypofix in comment
2017-12-08  Simon Peyton JonesOccurrrence analysis improvements for NOINLINE functions
2017-11-22  Ben GamariRevert "Add new mbmi and mbmi2 compiler flags"
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-15  klebinger.andreas... Adjust AltCon Ord instance to match Core linter require...
2017-11-15  John KyAdd new mbmi and mbmi2 compiler flags
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  David FeuerRemove unreliable Core Lint empty case checks
next