Comments about -Wredundant-constraints
[ghc.git] / compiler / specialise /
2016-09-24  Joachim BreitnerReplace INLINEABLE by INLINABLE (#12613)
2016-09-23  Richard EisenbergFix #12442.
2016-09-13  Simon Peyton JonesComments and white space
2016-09-02  Sergei Trofimovichextend '-fmax-worker-args' limit to specialiser (Trac...
2016-08-21  Edward Z. YangIntroduce BootUnfolding, set when unfolding is absent...
2016-07-21  Gabor GreifMore typos in comments
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-22  Gabor GreifTypos in comments [skip ci]
2016-06-21  Simon Peyton JonesDon't quantify over Refl in a RULE
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-14  Bartosz NitkaRename cmpType to nonDetCmpType
2016-06-06  Bartosz NitkaImplement deterministic CallInfoSet
2016-06-02  Bartosz NitkaLocalize orphan-related nondeterminism
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-05-12  Bartosz NitkaKill varEnvElts in specImports
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-04-06  Joachim BreitnerDemand Analyzer: Do not set OneShot information (second...
2016-03-30  Ben GamariKill the magic of Any
2016-03-30  Gabor GreifTypos in non-code
2016-03-29  Joachim BreitnerSpecConstr: Transport strictness data to specialization...
2016-03-24  Simon Peyton JonesTidy up handling of coercion variables
2016-02-26  Simon Peyton JonesGet the right in-scope set in specUnfolding
2016-02-19  Gabor GreifA few more typos in non-code
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-11  Gabor GreifAnother batch of typo fixes in non-code
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-04  Bartosz NitkaMake callToPats deterministic in SpecConstr
2015-12-02  Bartosz NitkaImplement more deterministic operations and document...
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-11  Bartosz NitkaPut kind variables before type variables when specializing
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-10  Edward Z. YangRename SpecInfo to RuleInfo (upon SPJ's advice).
2015-10-08  Edward Z. YangMove orphan instance/rule warnings to typechecker/desug...
2015-10-06  Simon Peyton JonesRemove dead code: ruleLhsOrphNames
2015-09-02  Thomas MiedemaTestsuite: don't warn about missing specialisations
2015-08-05  Simon Peyton JonesWarn about missed specialisations for imports
2015-08-03  Gabor GreifTypos in comments [skip ci]
2015-07-30  Simon Peyton JonesDeal with phantom type variables in rules
2015-07-23  Simon Peyton JonesSlight refactoring to the fix for #4012
2015-07-21  Simon Peyton JonesDo occurrence analysis on result of BuiltInRule
2015-07-21  Simon Peyton JonesAvoid out-of-scope top-level Ids
2015-07-17  Bartosz NitkaReduce non-determinism in ABI hashes with RULES and...
2015-07-13  Simon Peyton JonesAnother comment with a leading # (sigh)
2015-07-13  Simon Peyton JonesMake sure rule LHSs are simplified
2015-07-06  Ben GamariSpecialise: Avoid unnecessary recomputation of free...
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-20  Edward Z. YangFilter orphan rules based on imports, fixes #10294...
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-01  Austin Seippcompiler/specialise: shut match_co up a bit
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 JonesComments only
2015-04-29  Simon Peyton JonesSeed SpecConstr from local calls
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-03-17  Simon Peyton JonesMove declaration of Rulebase from Rules to CoreSyn
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-16  Peter WortmannSource notes (Core support)
2014-12-03  Austin Seippcompiler: de-lhs specialise/
2014-10-17  Joachim BreitnerAvoid printing uniques in specialization rules
2014-09-27  Thomas MiedemaStop exporting, and stop using, functions marked as...
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-08-29  Simon Peyton JonesBetter specImport discarding message (again)
2014-08-29  Simon Peyton JonesImprove "specImport discarding" message
2014-08-28  Simon Peyton JonesComments only
2014-08-28  Simon Peyton JonesAdd -fspecialise-aggressively
2014-08-28  Simon Peyton JonesRefactor unfoldings
2014-08-25  Simon Peyton JonesMore refactoring in SpecConstr
2014-08-25  Simon Peyton JonesDo not duplicate call information in SpecConstr (Trac...
2014-08-25  Simon Peyton JonesIntroduce the Call data types
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-05-05  Simon Peyton JonesImprove comments and tracing in SpecConstr
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-02-13  Gabor GreifFix some typos in comments
2014-02-11  Joachim BreitnerRemove eta-expansion in Rules.match
2014-02-11  Joachim BreitnerUse exprIsLambda_maybe in match
2014-02-11  Joachim BreitnerAdd Case TyConAppCo to match_co
2014-02-10  Joachim BreitnerNote [Eta expansion in match]
2014-01-20  Joachim BreitnerSimplify doCorePass
2014-01-14  Austin SeippFix TyCon import
2014-01-14  Austin SeippFix ./validate failure due to -Werror
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-12  Simon Peyton JonesImprove the handling of used-once stuff
2013-12-09  Joachim BreitnerReplace mkTopDmdType by mkClosedStrictSig
2013-11-22  Simon Peyton JonesReplace (State# RealWorld) with Void# where we just...
2013-10-25  Austin SeippUpdate documentation regarding SpecConstr.
next