diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-11-27 13:03:07 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-12-12 04:45:09 -0500 |
| commit | 3aae036eded89603756d025e0fac2ec0642edeaf (patch) | |
| tree | 68bc82d1bc203867317a6b5b192765f771ada829 /testsuite/tests/stranal | |
| parent | 5bd71bfd3a410ff2edcd29306a9824d60857f9fd (diff) | |
| download | haskell-3aae036eded89603756d025e0fac2ec0642edeaf.tar.gz | |
Demand: Simplify `CU(U)` to `U` (#19005)
Both sub-demands encode the same information.
This is a trivial change and already affects a few regression tests
(e.g. `T5075`), so no separate regression test is necessary.
Diffstat (limited to 'testsuite/tests/stranal')
| -rw-r--r-- | testsuite/tests/stranal/should_compile/T18894.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/stranal/sigs/T5075.stderr | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/stranal/should_compile/T18894.stderr b/testsuite/tests/stranal/should_compile/T18894.stderr index e0efbe9272..ee2df2f667 100644 --- a/testsuite/tests/stranal/should_compile/T18894.stderr +++ b/testsuite/tests/stranal/should_compile/T18894.stderr @@ -288,7 +288,7 @@ lvl :: Int lvl = GHC.Types.I# 2# -- RHS size: {terms: 34, types: 21, coercions: 0, joins: 0/0} -$wh2 [InlPrag=[2], Dmd=UCU(U)] :: GHC.Prim.Int# -> Int +$wh2 [InlPrag=[2]] :: GHC.Prim.Int# -> Int [LclId, Arity=1, Str=<SU>, @@ -367,7 +367,7 @@ lvl :: (Int, Int) lvl = case $wg1 2# of { (# ww, ww #) -> (ww, ww) } -- RHS size: {terms: 25, types: 18, coercions: 0, joins: 0/0} -$wh1 [InlPrag=[2], Dmd=UCU(U)] :: GHC.Prim.Int# -> Int +$wh1 [InlPrag=[2]] :: GHC.Prim.Int# -> Int [LclId, Arity=1, Str=<SU>, diff --git a/testsuite/tests/stranal/sigs/T5075.stderr b/testsuite/tests/stranal/sigs/T5075.stderr index 64a78d05ec..a918028c82 100644 --- a/testsuite/tests/stranal/sigs/T5075.stderr +++ b/testsuite/tests/stranal/sigs/T5075.stderr @@ -1,7 +1,7 @@ ==================== Strictness signatures ==================== T5075.$trModule: -T5075.loop: <MP(A,A,MCM(CS(U)),A,A,A,A,A)><UP(A,A,UCU(CS(U)),A,A,A,UCU(U))><U> +T5075.loop: <MP(A,A,MCM(CS(U)),A,A,A,A,A)><UP(A,A,UCU(CS(U)),A,A,A,U)><U> @@ -13,6 +13,6 @@ T5075.loop: ==================== Strictness signatures ==================== T5075.$trModule: -T5075.loop: <SP(A,A,MCM(CS(U)),A,A,A,A,A)><UP(A,A,UCU(CS(U)),A,A,A,UCU(U))><U> +T5075.loop: <SP(A,A,MCM(CS(U)),A,A,A,A,A)><UP(A,A,UCU(CS(U)),A,A,A,U)><U> |