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