Remove dead generics-related code from OccName
[ghc.git] / compiler / coreSyn /
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
2015-12-24  Simon Peyton JonesImprove tracing a bit in CoreSubst
2015-12-24  Simon Peyton JonesImprove the runRW magic in CorePrep
2015-12-17  Herbert Valerio... Random typo fixes
2015-12-17  Richard EisenbergFix #11230.
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-04  Simon Peyton JonesCase-of-empty-alts is trivial (Trac #11155)
2015-12-02  Bartosz NitkaImplement more deterministic operations and document...
2015-11-25  Simon Peyton JonesComments only
2015-11-23  Ben GamariSupport multiple debug output levels
2015-11-22  Bartosz NitkaMake abstractVars deterministic in SetLevel
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-12  Ben GamariNew magic function for applying realWorld#
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-10  Edward Z. YangRename SpecInfo to RuleInfo (upon SPJ's advice).
2015-10-06  Simon Peyton JonesRemove dead code: ruleLhsOrphNames
2015-10-05  Gabor GreifA few typos in comments
2015-10-02  Ben GamariFix treatment of -0.0
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-17  Simon MarlowApplicativeDo transformation
2015-09-03  Jan StolarekInjective type families
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-30  Matthew PickeringFix 7.10 validate
2015-08-26  Simon Peyton JonesImplement lookupGlobal in TcEnv, and use it
2015-08-26  Simon Peyton JonesComments and white space
2015-08-21  Thomas MiedemaRefactor: delete most of the module FastTypes
2015-08-05  Simon Peyton JonesAllow proper errors/warnings in core2core passes
2015-08-03  Gabor GreifTypos in comments [skip ci]
next