Fix tests
[ghc.git] / testsuite / tests / simplCore / should_compile / T7360.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 36, types: 29, coercions: 0}
4
5 -- RHS size: {terms: 6, types: 3, coercions: 0}
6 T7360.$WFoo3 [InlPrag=INLINE] :: Int -> Foo
7 [GblId[DataConWrapper],
8  Arity=1,
9  Caf=NoCafRefs,
10  Str=DmdType <S,U>m3,
11  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
12          WorkFree=True, Expandable=True,
13          Guidance=ALWAYS_IF(arity=1,unsat_ok=False,boring_ok=False)
14          Tmpl= \ (dt [Occ=Once!] :: Int) ->
15                  case dt of _ [Occ=Dead] { I# dt [Occ=Once] -> T7360.Foo3 dt }}]
16 T7360.$WFoo3 =
17   \ (dt [Occ=Once!] :: Int) ->
18     case dt of _ [Occ=Dead] { I# dt [Occ=Once] -> T7360.Foo3 dt }
19
20 -- RHS size: {terms: 5, types: 2, coercions: 0}
21 fun1 [InlPrag=NOINLINE] :: Foo -> ()
22 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
23 fun1 = \ (x :: Foo) -> case x of _ [Occ=Dead] { __DEFAULT -> () }
24
25 -- RHS size: {terms: 2, types: 0, coercions: 0}
26 T7360.fun5 :: ()
27 [GblId,
28  Str=DmdType,
29  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
30          WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
31 T7360.fun5 = fun1 T7360.Foo1
32
33 -- RHS size: {terms: 2, types: 0, coercions: 0}
34 T7360.fun4 :: Int
35 [GblId,
36  Caf=NoCafRefs,
37  Str=DmdType m,
38  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
39          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
40 T7360.fun4 = I# 0#
41
42 -- RHS size: {terms: 16, types: 12, coercions: 0}
43 fun2 :: forall a. [a] -> ((), Int)
44 [GblId,
45  Arity=1,
46  Str=DmdType <L,1*U>m,
47  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
48          WorkFree=True, Expandable=True,
49          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
50          Tmpl= \ (@ a) (x [Occ=Once!] :: [a]) ->
51                  (T7360.fun5,
52                   case x of wild {
53                     [] -> T7360.fun4;
54                     : _ [Occ=Dead] _ [Occ=Dead] ->
55                       case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT -> I# ww2 }
56                   })}]
57 fun2 =
58   \ (@ a) (x :: [a]) ->
59     (T7360.fun5,
60      case x of wild {
61        [] -> T7360.fun4;
62        : ds ds1 ->
63          case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT -> I# ww2 }
64      })
65
66
67