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