Suppress substitution assertions to fix tests
[ghc.git] / compiler / coreSyn /
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]
2015-07-31  Gabor GreifTypos in comments
2015-07-30  Simon Peyton JonesDefine DsUtils.mkCastDs and use it
2015-07-23  Simon Peyton JonesSlight refactoring to the fix for #4012
2015-07-21  Simon Peyton JonesComments and white space only
2015-07-21  Simon Peyton JonesImplement -dsuppress-unfoldings
2015-07-16  Ben GamariCoreLint: Use size-annotated ppr variant
2015-07-16  Ben GamariPprCore: Add size annotations for top-level bindings
2015-07-16  Ben GamariCoreUtils: Move size utilities to CoreStats
2015-07-16  Ben GamariCoreUtils: Move seq* functions to CoreSeq
2015-07-13  Simon Peyton JonesReformat a leading # in a comment
2015-07-13  Simon Peyton JonesAdd Linting for Rules
2015-07-13  Simon Peyton JonesDo not optimise RULE lhs in substRule
2015-07-07  David KraeutmannDeferred type errors now throw TypeError (#10284)
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-20  Edward Z. YangFilter orphan rules based on imports, fixes #10294...
2015-06-18  Simon Peyton JonesRefactor filterAlts into two parts
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-01  Simon Peyton JonesMove seqExpr, seqIdInfo etc to CoreUtils
2015-05-22  Simon Peyton JonesFix a huge space leak in the mighty Simplifier
2015-05-22  Simon Peyton JonesReduce magic for seqId
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-01  Simon Peyton JonesRefactor TyCon to eliminate TupleTyCon
2015-04-24  Richard EisenbergFix #10285 by refusing to use NthCo on a newtype.
2015-04-22  Simon Peyton JonesAdd a blank line
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-03-31  Herbert Valerio... Drop old integer-gmp-0.5 from GHC source tree
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 BreitnerisEmptyTy: Improve comment
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-23  Joachim BreitnerexprIsBottom should look through type lambdas
2015-03-22  Joachim BreitnerNew lint check: exprIsHNF = True and alts = [] is bogus
2015-03-18  Simon Peyton JonesComments only
next