Allow top-level string literals in Core (#8472)
[ghc.git] / testsuite / tests / simplCore / should_compile / T3717.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 36, types: 15, coercions: 0}
4
5 -- RHS size: {terms: 1, types: 0, coercions: 0}
6 T3717.$trModule4 :: GHC.Prim.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 T3717.$trModule4 = "main"#
12
13 -- RHS size: {terms: 2, types: 0, coercions: 0}
14 T3717.$trModule3 :: GHC.Types.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 T3717.$trModule3 = GHC.Types.TrNameS T3717.$trModule4
21
22 -- RHS size: {terms: 1, types: 0, coercions: 0}
23 T3717.$trModule2 :: GHC.Prim.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 T3717.$trModule2 = "T3717"#
29
30 -- RHS size: {terms: 2, types: 0, coercions: 0}
31 T3717.$trModule1 :: GHC.Types.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 T3717.$trModule1 = GHC.Types.TrNameS T3717.$trModule2
38
39 -- RHS size: {terms: 3, types: 0, coercions: 0}
40 T3717.$trModule :: GHC.Types.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 T3717.$trModule =
47   GHC.Types.Module T3717.$trModule3 T3717.$trModule1
48
49 Rec {
50 -- RHS size: {terms: 10, types: 2, coercions: 0}
51 T3717.$wfoo [InlPrag=[0], Occ=LoopBreaker]
52   :: GHC.Prim.Int# -> GHC.Prim.Int#
53 [GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>]
54 T3717.$wfoo =
55   \ (ww :: GHC.Prim.Int#) ->
56     case ww of ds {
57       __DEFAULT -> T3717.$wfoo (GHC.Prim.-# ds 1#);
58       0# -> 0#
59     }
60 end Rec }
61
62 -- RHS size: {terms: 10, types: 4, coercions: 0}
63 foo [InlPrag=INLINE[0]] :: Int -> Int
64 [GblId,
65  Arity=1,
66  Caf=NoCafRefs,
67  Str=<S(S),1*U(1*U)>m,
68  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
69          WorkFree=True, Expandable=True,
70          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
71          Tmpl= \ (w [Occ=Once!] :: Int) ->
72                  case w of { GHC.Types.I# ww1 [Occ=Once] ->
73                  case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
74                  }}]
75 foo =
76   \ (w :: Int) ->
77     case w of { GHC.Types.I# ww1 ->
78     case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
79     }
80
81
82