Allow top-level string literals in Core (#8472)
[ghc.git] / testsuite / tests / deSugar / should_compile / T2431.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 44, types: 34, coercions: 1}
4
5 -- RHS size: {terms: 2, types: 4, coercions: 1}
6 T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a
7 [GblId[DataConWrapper],
8  Caf=NoCafRefs,
9  Str=m,
10  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
11          WorkFree=True, Expandable=True,
12          Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=False)
13          Tmpl= \ (@ a) ->
14                  T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *))}]
15 T2431.$WRefl =
16   \ (@ a) ->
17     T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *))
18
19 -- RHS size: {terms: 4, types: 8, coercions: 0}
20 absurd :: forall a. (Int :~: Bool) -> a
21 [GblId, Arity=1, Caf=NoCafRefs, Str=<L,U>x]
22 absurd = \ (@ a) (x :: Int :~: Bool) -> case x of { }
23
24 -- RHS size: {terms: 1, types: 0, coercions: 0}
25 $trModule1 :: GHC.Prim.Addr#
26 [GblId, Caf=NoCafRefs]
27 $trModule1 = "main"#
28
29 -- RHS size: {terms: 2, types: 0, coercions: 0}
30 $trModule2 :: GHC.Types.TrName
31 [GblId, Caf=NoCafRefs]
32 $trModule2 = GHC.Types.TrNameS $trModule1
33
34 -- RHS size: {terms: 1, types: 0, coercions: 0}
35 $trModule3 :: GHC.Prim.Addr#
36 [GblId, Caf=NoCafRefs]
37 $trModule3 = "T2431"#
38
39 -- RHS size: {terms: 2, types: 0, coercions: 0}
40 $trModule4 :: GHC.Types.TrName
41 [GblId, Caf=NoCafRefs]
42 $trModule4 = GHC.Types.TrNameS $trModule3
43
44 -- RHS size: {terms: 3, types: 0, coercions: 0}
45 T2431.$trModule :: GHC.Types.Module
46 [GblId, Caf=NoCafRefs]
47 T2431.$trModule = GHC.Types.Module $trModule2 $trModule4
48
49 -- RHS size: {terms: 1, types: 0, coercions: 0}
50 $tc'Refl1 :: GHC.Prim.Addr#
51 [GblId, Caf=NoCafRefs]
52 $tc'Refl1 = "'Refl"#
53
54 -- RHS size: {terms: 2, types: 0, coercions: 0}
55 $tc'Refl2 :: GHC.Types.TrName
56 [GblId, Caf=NoCafRefs]
57 $tc'Refl2 = GHC.Types.TrNameS $tc'Refl1
58
59 -- RHS size: {terms: 5, types: 0, coercions: 0}
60 T2431.$tc'Refl :: GHC.Types.TyCon
61 [GblId, Caf=NoCafRefs]
62 T2431.$tc'Refl =
63   GHC.Types.TyCon
64     15026191172322750497##
65     3898273167927206410##
66     T2431.$trModule
67     $tc'Refl2
68
69 -- RHS size: {terms: 1, types: 0, coercions: 0}
70 $tc:~:1 :: GHC.Prim.Addr#
71 [GblId, Caf=NoCafRefs]
72 $tc:~:1 = ":~:"#
73
74 -- RHS size: {terms: 2, types: 0, coercions: 0}
75 $tc:~:2 :: GHC.Types.TrName
76 [GblId, Caf=NoCafRefs]
77 $tc:~:2 = GHC.Types.TrNameS $tc:~:1
78
79 -- RHS size: {terms: 5, types: 0, coercions: 0}
80 T2431.$tc:~: :: GHC.Types.TyCon
81 [GblId, Caf=NoCafRefs]
82 T2431.$tc:~: =
83   GHC.Types.TyCon
84     9759653149176674453##
85     12942818337407067047##
86     T2431.$trModule
87     $tc:~:2
88
89
90