Allow top-level string literals in Core (#8472)
[ghc.git] / testsuite / tests / simplCore / should_compile / T4908.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 68, types: 43, coercions: 0}
4
5 -- RHS size: {terms: 1, types: 0, coercions: 0}
6 T4908.$trModule4 :: Addr#
7 [GblId,
8  Caf=NoCafRefs,
9  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
10          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
11 T4908.$trModule4 = "main"#
12
13 -- RHS size: {terms: 2, types: 0, coercions: 0}
14 T4908.$trModule3 :: TrName
15 [GblId,
16  Caf=NoCafRefs,
17  Str=m1,
18  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
19          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
20 T4908.$trModule3 = GHC.Types.TrNameS T4908.$trModule4
21
22 -- RHS size: {terms: 1, types: 0, coercions: 0}
23 T4908.$trModule2 :: Addr#
24 [GblId,
25  Caf=NoCafRefs,
26  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
27          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
28 T4908.$trModule2 = "T4908"#
29
30 -- RHS size: {terms: 2, types: 0, coercions: 0}
31 T4908.$trModule1 :: TrName
32 [GblId,
33  Caf=NoCafRefs,
34  Str=m1,
35  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
36          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
37 T4908.$trModule1 = GHC.Types.TrNameS T4908.$trModule2
38
39 -- RHS size: {terms: 3, types: 0, coercions: 0}
40 T4908.$trModule :: Module
41 [GblId,
42  Caf=NoCafRefs,
43  Str=m,
44  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
45          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
46 T4908.$trModule =
47   GHC.Types.Module T4908.$trModule3 T4908.$trModule1
48
49 Rec {
50 -- RHS size: {terms: 19, types: 5, coercions: 0}
51 T4908.f_$s$wf [Occ=LoopBreaker] :: Int -> Int# -> Int# -> Bool
52 [GblId, Arity=3, Caf=NoCafRefs, Str=<L,A><L,1*U><S,1*U>]
53 T4908.f_$s$wf =
54   \ (sc :: Int) (sc1 :: Int#) (sc2 :: Int#) ->
55     case sc2 of ds {
56       __DEFAULT ->
57         case sc1 of ds1 {
58           __DEFAULT -> T4908.f_$s$wf sc ds1 (-# ds 1#);
59           0# -> GHC.Types.True
60         };
61       0# -> GHC.Types.True
62     }
63 end Rec }
64
65 -- RHS size: {terms: 24, types: 13, coercions: 0}
66 T4908.$wf [InlPrag=[0]] :: Int# -> (Int, Int) -> Bool
67 [GblId,
68  Arity=2,
69  Caf=NoCafRefs,
70  Str=<S,1*U><L,1*U(A,1*U(1*U))>,
71  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
72          WorkFree=True, Expandable=True, Guidance=IF_ARGS [30 20] 101 20}]
73 T4908.$wf =
74   \ (ww :: Int#) (w :: (Int, Int)) ->
75     case ww of ds {
76       __DEFAULT ->
77         case w of { (a, b) ->
78         case b of { I# ds1 ->
79         case ds1 of ds2 {
80           __DEFAULT -> T4908.f_$s$wf a ds2 (-# ds 1#);
81           0# -> GHC.Types.True
82         }
83         }
84         };
85       0# -> GHC.Types.True
86     }
87
88 -- RHS size: {terms: 8, types: 6, coercions: 0}
89 f [InlPrag=INLINE[0]] :: Int -> (Int, Int) -> Bool
90 [GblId,
91  Arity=2,
92  Caf=NoCafRefs,
93  Str=<S(S),1*U(1*U)><L,1*U(A,1*U(1*U))>,
94  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
95          WorkFree=True, Expandable=True,
96          Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False)
97          Tmpl= \ (w [Occ=Once!] :: Int) (w1 [Occ=Once] :: (Int, Int)) ->
98                  case w of { I# ww1 [Occ=Once] -> T4908.$wf ww1 w1 }}]
99 f =
100   \ (w :: Int) (w1 :: (Int, Int)) ->
101     case w of { I# ww1 -> T4908.$wf ww1 w1 }
102
103
104 ------ Local rules for imported ids --------
105 "SC:$wf0" [0]
106     forall (sc :: Int) (sc1 :: Int#) (sc2 :: Int#).
107       T4908.$wf sc2 (sc, GHC.Types.I# sc1)
108       = T4908.f_$s$wf sc sc1 sc2
109
110