Upgrade UniqSet to a newtype
[ghc.git] / compiler / coreSyn / CoreSubst.hs
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-28  Simon Peyton JonesMake Specialise work with casts
2017-02-24  Simon Peyton JonesMake exprIsConApp_maybe work better for literals strings
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-08  Simon Peyton JonesImprove the simple optimiser
2017-02-01  Luke MaurerJoin points
2017-01-23  Simon Peyton JonesRecord evaluated-ness on workers and wrappers
2017-01-20  Takano AkioAllow top-level string literals in Core (#8472)
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-06  Simon Peyton JonesFix the implementation of the "push rules"
2016-12-23  Simon Peyton JonesPush coercions in exprIsConApp_maybe
2016-12-21  Simon Peyton JonesMove InId/OutId to CoreSyn
2016-08-05  Ömer Sinan AğacanReplace some `length . filter` with `count`
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-04-20  Bartosz NitkaRename FV related functions
2016-03-30  Gabor GreifTypos in non-code
2016-03-24  Simon Peyton JonesTidy up handling of coercion variables
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-26  Simon Peyton JonesWhite space only
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-24  Simon Peyton JonesImprove tracing a bit in CoreSubst
2015-12-17  Richard EisenbergFix #11230.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-10-10  Edward Z. YangRename SpecInfo to RuleInfo (upon SPJ's advice).
2015-07-16  Ben GamariCoreUtils: Move seq* functions to CoreSeq
2015-07-13  Simon Peyton JonesDo not optimise RULE lhs in substRule
2015-05-22  Simon Peyton JonesReduce magic for seqId
2015-04-10  Gabor GreifTypos in error messages and in comments
2014-12-16  Peter WortmannSource notes (Core support)
2014-12-03  Austin Seippcompiler: de-lhs coreSyn/