Allow top-level string literals in Core (#8472)
[ghc.git] / testsuite / tests / simplCore / should_compile / T3772.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 40, types: 16, coercions: 0}
4
5 Rec {
6 -- RHS size: {terms: 10, types: 2, coercions: 0}
7 $wxs :: GHC.Prim.Int# -> ()
8 [GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>]
9 $wxs =
10   \ (ww :: GHC.Prim.Int#) ->
11     case ww of ds1 {
12       __DEFAULT -> $wxs (GHC.Prim.-# ds1 1#);
13       1# -> GHC.Tuple.()
14     }
15 end Rec }
16
17 -- RHS size: {terms: 14, types: 5, coercions: 0}
18 foo [InlPrag=NOINLINE] :: Int -> ()
19 [GblId, Arity=1, Caf=NoCafRefs, Str=<S(S),1*U(U)>]
20 foo =
21   \ (n :: Int) ->
22     case n of { GHC.Types.I# y ->
23     case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# 0# y) of {
24       False -> GHC.Tuple.();
25       True -> $wxs y
26     }
27     }
28
29 -- RHS size: {terms: 1, types: 0, coercions: 0}
30 T3772.$trModule2 :: GHC.Prim.Addr#
31 [GblId,
32  Caf=NoCafRefs,
33  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
34          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
35 T3772.$trModule2 = "T3772"#
36
37 -- RHS size: {terms: 2, types: 0, coercions: 0}
38 T3772.$trModule1 :: GHC.Types.TrName
39 [GblId,
40  Caf=NoCafRefs,
41  Str=m1,
42  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
43          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
44 T3772.$trModule1 = GHC.Types.TrNameS T3772.$trModule2
45
46 -- RHS size: {terms: 1, types: 0, coercions: 0}
47 T3772.$trModule4 :: GHC.Prim.Addr#
48 [GblId,
49  Caf=NoCafRefs,
50  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
51          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
52 T3772.$trModule4 = "main"#
53
54 -- RHS size: {terms: 2, types: 0, coercions: 0}
55 T3772.$trModule3 :: GHC.Types.TrName
56 [GblId,
57  Caf=NoCafRefs,
58  Str=m1,
59  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
60          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
61 T3772.$trModule3 = GHC.Types.TrNameS T3772.$trModule4
62
63 -- RHS size: {terms: 3, types: 0, coercions: 0}
64 T3772.$trModule :: GHC.Types.Module
65 [GblId,
66  Caf=NoCafRefs,
67  Str=m,
68  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
69          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
70 T3772.$trModule =
71   GHC.Types.Module T3772.$trModule3 T3772.$trModule1
72
73
74