diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T18328.stderr')
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T18328.stderr | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T18328.stderr b/testsuite/tests/simplCore/should_compile/T18328.stderr index d32f553114..78e3430b88 100644 --- a/testsuite/tests/simplCore/should_compile/T18328.stderr +++ b/testsuite/tests/simplCore/should_compile/T18328.stderr @@ -1,38 +1,38 @@ ==================== Tidy Core ==================== Result size of Tidy Core - = {terms: 69, types: 61, coercions: 0, joins: 1/1} + = {terms: 65, types: 53, coercions: 0, joins: 1/1} --- RHS size: {terms: 42, types: 28, coercions: 0, joins: 1/1} +-- RHS size: {terms: 38, types: 23, coercions: 0, joins: 1/1} T18328.$wf [InlPrag=[2]] :: forall {a}. GHC.Prim.Int# -> [a] -> [a] -> [a] [GblId, Arity=3, - Str=<SU><U><U>, + Str=<SL><SL><ML>, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, - WorkFree=True, Expandable=True, Guidance=IF_ARGS [182 0 0] 312 0}] + WorkFree=True, Expandable=True, Guidance=IF_ARGS [176 0 0] 306 0}] T18328.$wf = \ (@a) (ww :: GHC.Prim.Int#) (w :: [a]) (w1 :: [a]) -> join { - $wj [InlPrag=NOINLINE, Dmd=1C1(U)] :: forall {p}. (# #) -> [a] - [LclId[JoinId(2)], Arity=1, Str=<A>, Unf=OtherCon []] - $wj (@p) _ [Occ=Dead, OS=OneShot] + $wj [InlPrag=NOINLINE, Dmd=ML] :: forall {p}. [a] + [LclId[JoinId(1)]] + $wj (@p) = case ww of { __DEFAULT -> ++ @a w (++ @a w (++ @a w w1)); 3# -> ++ @a w (++ @a w (++ @a w (++ @a w w1))) } } in case ww of { __DEFAULT -> ++ @a w w1; - 1# -> jump $wj @Integer GHC.Prim.(##); - 2# -> jump $wj @Integer GHC.Prim.(##); - 3# -> jump $wj @Integer GHC.Prim.(##) + 1# -> jump $wj @Integer; + 2# -> jump $wj @Integer; + 3# -> jump $wj @Integer } --- RHS size: {terms: 11, types: 10, coercions: 0, joins: 0/0} +-- RHS size: {terms: 11, types: 9, coercions: 0, joins: 0/0} f [InlPrag=[2]] :: forall a. Int -> [a] -> [a] -> [a] [GblId, Arity=3, - Str=<S(SU)><U><U>, + Str=<1P(SL)><SL><ML>, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=3,unsat_ok=True,boring_ok=False) @@ -40,11 +40,11 @@ f [InlPrag=[2]] :: forall a. Int -> [a] -> [a] -> [a] (w [Occ=Once1!] :: Int) (w1 [Occ=Once1] :: [a]) (w2 [Occ=Once1] :: [a]) -> - case w of { GHC.Types.I# ww1 [Occ=Once1] -> - T18328.$wf @a ww1 w1 w2 + case w of { GHC.Types.I# ww [Occ=Once1] -> + T18328.$wf @a ww w1 w2 }}] f = \ (@a) (w :: Int) (w1 :: [a]) (w2 :: [a]) -> - case w of { GHC.Types.I# ww1 -> T18328.$wf @a ww1 w1 w2 } + case w of { GHC.Types.I# ww -> T18328.$wf @a ww w1 w2 } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} T18328.$trModule4 :: GHC.Prim.Addr# |