diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-03-30 17:09:10 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-03-31 08:02:29 +0100 |
| commit | 2e5e8223e2fd0fe7f6082a15627dfd54e3560b06 (patch) | |
| tree | 140a441cd46356f18ddc0367ae3cfbab872d7453 | |
| parent | 1f68da14e44144925d1c7dd277523c48224902b8 (diff) | |
| download | haskell-2e5e8223e2fd0fe7f6082a15627dfd54e3560b06.tar.gz | |
Comments only
| -rw-r--r-- | compiler/basicTypes/Demand.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/basicTypes/Demand.hs b/compiler/basicTypes/Demand.hs index 5359c2f91c..7dc575ed96 100644 --- a/compiler/basicTypes/Demand.hs +++ b/compiler/basicTypes/Demand.hs @@ -1446,7 +1446,7 @@ peelManyCalls n (JD { sd = str, ud = abs }) go_str n (SCall d') = go_str (n-1) d' go_str _ _ = Lazy - go_abs :: Int -> UseDmd -> Use () -- Many <=> unsaturated, or at least + go_abs :: Int -> UseDmd -> Use () -- Many <=> unsaturated, or at least go_abs 0 _ = Use One () -- one UCall Many in the demand go_abs n (UCall One d') = go_abs (n-1) d' go_abs _ _ = Use Many () @@ -1776,7 +1776,9 @@ argsOneShots (StrictSig (DmdType _ arg_ds _)) n_val_args cons [] [] = [] cons a as = a:as -argOneShots :: OneShotInfo -> Demand -> [OneShotInfo] +argOneShots :: OneShotInfo -- OneShotLam or ProbOneShot, + -> Demand -- depending on saturation + -> [OneShotInfo] argOneShots one_shot_info (JD { ud = usg }) = case usg of Use _ arg_usg -> go arg_usg |