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