[commit: ghc] new-demand-to-merge: more comments in (65718a1)
Ilya Sergey <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : new-demand-to-merge http://hackage.haskell.org/trac/ghc/changeset/65718a175efed008370e6c16ee56ae6085aeef72 >--------------------------------------------------------------- commit 65718a175efed008370e6c16ee56ae6085aeef72 Author: Ilya Sergey <[email protected]> Date: Wed Nov 7 16:43:58 2012 +0100 more comments in >--------------------------------------------------------------- compiler/stranal/WwLib.lhs | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/compiler/stranal/WwLib.lhs b/compiler/stranal/WwLib.lhs index 5874251..96c4ffb 100644 --- a/compiler/stranal/WwLib.lhs +++ b/compiler/stranal/WwLib.lhs @@ -209,6 +209,14 @@ interfere with the absence analysis, basing on which results these never-used arguments are eliminated in the worker. The additional argument `all_one_shot` of `mkWorkerArgs` is to prevent this. +An example for this phenomenon is a `treejoin` program from the +`nofib` suite, which features the following joint points: + +$j_s1l1 = + \ _ -> + case GHC.Prim.<=# 56320 y_aOy of _ { + GHC.Types.False -> $j_s1kP GHC.Prim.realWorld#; + GHC.Types.True -> ... } %************************************************************************ %* *