cmpTypeX: Avoid kind comparison when possible
[ghc.git] / compiler / stranal /
2016-02-25  Manav RathiMake warning names more consistent
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`
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-07  Simon Peyton JonesMake demand analysis understand catch
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-08-05  Christiaan BaaijMake -fcpr-off a dynamic flag
2015-08-03  Simon Peyton JonesTypos in comments
2015-07-30  Simon Peyton JonesFix Trac #10694: CPR analysis
2015-07-21  Simon Peyton JonesImprove strictness analysis for exceptions
2015-07-21  Simon Peyton JonesUse varToCoreExpr in mkWWcpr_help
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesImprove CPR behavior for strict constructors
2015-06-26  Simon Peyton JonesFix addDataConStrictness
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-21  Simon Peyton JonesWibble to DmdAnal
2015-04-21  Simon Peyton JonesSupport unboxing for GADT product types
2015-04-21  Simon Peyton JonesTeach DmdAnal about free coercion variables
2015-04-20  Simon Peyton JonesTeach DmdAnal that coercions are value arguments!
2015-04-14  Simon Peyton JonesZap usage info in CSE (Trac #10218)
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-04-07  Simon Peyton JonesFix a long-standing bug in the demand analyser
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2014-12-01  Herbert Valerio... unlit compiler/stranal/ modules
2014-11-04  Simon Peyton JonesComments only
2014-09-19  Krzysztof GogolewskiTypos
2014-08-29  Simon Peyton JonesGive the worker for an INLINABLE function a suitably...
2014-08-29  Simon Peyton JonesComments, white space, and rename "InlineRule" to ...
2014-08-28  Simon Peyton JonesWhite space only
2014-08-28  Simon Peyton JonesComments only
2014-08-28  Simon Peyton JonesMake worker/wrapper work on INLINEABLE things
2014-08-20  Austin Seippstranal: detabify/dewhitespace DmdAnal
2014-08-20  Austin Seippstranal: detabify/dewhitespace WorkWrap
2014-07-01  Simon Peyton JonesFix demand analyser for unboxed types
2014-06-11  Simon Peyton JonesFix a serious, but rare, strictness analyser bug (Trac...
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-04-24  Simon Peyton JonesBe less verbose when printing Names when we don't know...
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-04-08  Simon Peyton JonesRefactor in worker/wrapper generation
2014-04-08  Simon Peyton JonesAllow a longer demand signature than arity
2014-03-06  Simon Peyton JonesMake the demand on a binder compatible with type (fixes...
2014-03-06  Simon Peyton JonesAdd some debug tracing
2014-02-07  Joachim BreitnerIn deepSplitCprType_maybe, be more forgiving
2014-01-23  Joachim BreitnerSome polishing of the demand analyser.
2014-01-20  Joachim BreitnerMake worker-wrapper unbox data families
2014-01-16  Krzysztof GogolewskiTypos in comments
2014-01-16  Joachim BreitnerRefactor WorkWrap, get rid of worthSplittingArgDmd
2014-01-16  Joachim BreitnerReplace worthSplittingThunkDmd by worthSplittingArgDmd
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-16  Joachim BreitnerMake types of bothDmdType more precise
2013-12-16  Joachim BreitnerRename postProcessDmdType to postProcessUnsat and use...
2013-12-16  Joachim BreitnerSplit DmdResult into DmdResult and CPRResult
2013-12-16  Joachim BreitnerAdd Note [non-algebraic or open body type warning]
2013-12-16  Joachim BreitnerRemove dmdAnalArg and replace by easier to understand...
2013-12-16  Joachim BreitnerClarify the default demand on demand environments
2013-12-12  Joachim BreitnerMove peelFV from DmdAnal to Demand
2013-12-12  Simon Peyton JonesImprove the handling of used-once stuff
2013-12-12  Simon Peyton JonesDo not split void functions
2013-12-12  Simon Peyton JonesSome refactoring of Demand and DmdAnal
2013-12-09  Joachim BreitnerSort the output of -dump-strsigs
2013-12-09  Joachim BreitnerReplace mkTopDmdType by mkClosedStrictSig
2013-12-09  Joachim BreitnerRename topDmdType to nopDmdType
2013-12-09  Joachim BreitnerDo not forget CPR information after an IO action
2013-12-09  Joachim BreitnerNew flag: -ddump-strsigs
2013-11-22  Simon Peyton JonesReplace (State# RealWorld) with Void# where we just...
2013-11-19  Joachim BreitnerTypos in [CPR for sum types]
2013-11-12  Gabor GreifTypos in note
2013-11-08  Simon Peyton JonesMake worker/wrapper robust to bogus unsafeCorece
2013-10-24  Simon Peyton JonesUntabify and remove trailing spaces
2013-10-24  Simon Peyton JonesRefactor the topNormaliseNewType story, fixing Trac...
2013-10-05  Krzysztof GogolewskiRemove deprecated _scc_ (#8170)
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-23  Krzysztof GogolewskiTypos
2013-09-09  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-08  Nicolas Frisbyresurrected -fdicts-strict, off by default
2013-09-06  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-04  Nicolas Frisbydocumentation and comments for -ffun-to-thunk and ...
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-30  Patrick PalkaMerge branch 'master' into ghc-parmake-gsoc
2013-08-29  Nicolas Frisbysimplified the .hi format and added the -flate-dmd...
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-07-03  Gabor GreifComment out a leftover pprTrace
2013-06-06  Simon Peyton JonesTraces and comments only
2013-06-06  Simon Peyton JonesTransfer strictness on trivial right-hand sides
2013-06-06  Simon Peyton JonesUse checkRecTc to improve demand analysis slightly
2013-06-06  Simon Peyton JonesImplement cardinality analysis
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-04-11  Nicolas Frisbyignore RealWorld in size_expr; flag to keep w/w from...
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-13  Simon Peyton JonesComments only
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
next