diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-06 17:40:09 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-07 08:37:23 +0000 |
| commit | 9915b6564403a6d17651e9969e9ea5d7d7e78e7f (patch) | |
| tree | e064a66dca1e8d1be5e04d0349c53e99fe391353 /testsuite/tests/numeric | |
| parent | a5cea73c658888e01c162723d3e0e1439514ecdb (diff) | |
| download | haskell-9915b6564403a6d17651e9969e9ea5d7d7e78e7f.tar.gz | |
Make demand analysis understand catch
As Trac #11222, and #10712 note, the strictness analyser
needs to be rather careful about exceptions. Previously
it treated them as identical to divergence, but that
won't quite do.
See Note [Exceptions and strictness] in Demand, which
explains the deal.
Getting more strictness in 'catch' and friends is a
very good thing. Here is the nofib summary, keeping
only the big ones.
--------------------------------------------------------------------------------
Program Size Allocs Runtime Elapsed TotalMem
--------------------------------------------------------------------------------
fasta -0.1% -6.9% -3.0% -3.0% +0.0%
hpg -0.1% -2.0% -6.2% -6.2% +0.0%
maillist -0.1% -0.3% 0.08 0.09 +1.2%
reverse-complem -0.1% -10.9% -6.0% -5.9% +0.0%
sphere -0.1% -4.3% 0.08 0.08 +0.0%
x2n1 -0.1% -0.0% 0.00 0.00 +0.0%
--------------------------------------------------------------------------------
Min -0.2% -10.9% -17.4% -17.3% +0.0%
Max -0.0% +0.0% +4.3% +4.4% +1.2%
Geometric Mean -0.1% -0.3% -2.9% -3.0% +0.0%
On the way I did quite a bit of refactoring in Demand.hs
Diffstat (limited to 'testsuite/tests/numeric')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T7116.stdout | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/numeric/should_compile/T7116.stdout b/testsuite/tests/numeric/should_compile/T7116.stdout index f64b8414b3..373e3c5ec8 100644 --- a/testsuite/tests/numeric/should_compile/T7116.stdout +++ b/testsuite/tests/numeric/should_compile/T7116.stdout @@ -35,7 +35,7 @@ dr :: Double -> Double [GblId, Arity=1, Caf=NoCafRefs, - Str=DmdType <S,1*U(U)>m, + Str=DmdType <S(S),1*U(U)>m, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) @@ -54,7 +54,7 @@ dl :: Double -> Double [GblId, Arity=1, Caf=NoCafRefs, - Str=DmdType <S,1*U(U)>m, + Str=DmdType <S(S),1*U(U)>m, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) @@ -69,7 +69,7 @@ fr :: Float -> Float [GblId, Arity=1, Caf=NoCafRefs, - Str=DmdType <S,1*U(U)>m, + Str=DmdType <S(S),1*U(U)>m, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) @@ -88,7 +88,7 @@ fl :: Float -> Float [GblId, Arity=1, Caf=NoCafRefs, - Str=DmdType <S,1*U(U)>m, + Str=DmdType <S(S),1*U(U)>m, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) |