Produce KindReps for common kinds in GHC.Types
[ghc.git] / testsuite / tests / deSugar / should_compile / T2431.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 63, types: 43, coercions: 1, joins: 0/0}
5
6 -- RHS size: {terms: 2, types: 4, coercions: 1, joins: 0/0}
7 T2431.$WRefl [InlPrag=INLINE[2]] :: forall a. a :~: a
8 [GblId[DataConWrapper],
9  Caf=NoCafRefs,
10  Str=m,
11  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
12          WorkFree=True, Expandable=True,
13          Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=False)
14          Tmpl= \ (@ a) ->
15                  T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *))}]
16 T2431.$WRefl
17   = \ (@ a) ->
18       T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *))
19
20 -- RHS size: {terms: 4, types: 8, coercions: 0, joins: 0/0}
21 absurd :: forall a. (Int :~: Bool) -> a
22 [GblId, Arity=1, Caf=NoCafRefs, Str=<L,U>x]
23 absurd = \ (@ a) (x :: Int :~: Bool) -> case x of { }
24
25 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
26 $trModule1 :: GHC.Prim.Addr#
27 [GblId, Caf=NoCafRefs]
28 $trModule1 = "main"#
29
30 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
31 $trModule2 :: GHC.Types.TrName
32 [GblId, Caf=NoCafRefs]
33 $trModule2 = GHC.Types.TrNameS $trModule1
34
35 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
36 $trModule3 :: GHC.Prim.Addr#
37 [GblId, Caf=NoCafRefs]
38 $trModule3 = "T2431"#
39
40 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
41 $trModule4 :: GHC.Types.TrName
42 [GblId, Caf=NoCafRefs]
43 $trModule4 = GHC.Types.TrNameS $trModule3
44
45 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
46 T2431.$trModule :: GHC.Types.Module
47 [GblId, Caf=NoCafRefs]
48 T2431.$trModule = GHC.Types.Module $trModule2 $trModule4
49
50 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
51 $krep :: GHC.Types.KindRep
52 [GblId, Caf=NoCafRefs]
53 $krep = GHC.Types.KindRepVar 0#
54
55 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
56 $tc:~:1 :: GHC.Prim.Addr#
57 [GblId, Caf=NoCafRefs]
58 $tc:~:1 = ":~:"#
59
60 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
61 $tc:~:2 :: GHC.Types.TrName
62 [GblId, Caf=NoCafRefs]
63 $tc:~:2 = GHC.Types.TrNameS $tc:~:1
64
65 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
66 T2431.$tc:~: :: GHC.Types.TyCon
67 [GblId]
68 T2431.$tc:~:
69   = GHC.Types.TyCon
70       4608886815921030019##
71       6030312177285011233##
72       T2431.$trModule
73       $tc:~:2
74       0#
75       GHC.Types.krep$*->*->*
76
77 -- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
78 $krep1 :: [GHC.Types.KindRep]
79 [GblId, Caf=NoCafRefs]
80 $krep1
81   = GHC.Types.:
82       @ GHC.Types.KindRep $krep (GHC.Types.[] @ GHC.Types.KindRep)
83
84 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
85 $krep2 :: [GHC.Types.KindRep]
86 [GblId, Caf=NoCafRefs]
87 $krep2 = GHC.Types.: @ GHC.Types.KindRep $krep $krep1
88
89 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
90 $krep3 :: GHC.Types.KindRep
91 [GblId]
92 $krep3 = GHC.Types.KindRepTyConApp T2431.$tc:~: $krep2
93
94 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
95 $tc'Refl1 :: GHC.Prim.Addr#
96 [GblId, Caf=NoCafRefs]
97 $tc'Refl1 = "'Refl"#
98
99 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
100 $tc'Refl2 :: GHC.Types.TrName
101 [GblId, Caf=NoCafRefs]
102 $tc'Refl2 = GHC.Types.TrNameS $tc'Refl1
103
104 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
105 T2431.$tc'Refl :: GHC.Types.TyCon
106 [GblId]
107 T2431.$tc'Refl
108   = GHC.Types.TyCon
109       2478588351447975921##
110       2684375695874497811##
111       T2431.$trModule
112       $tc'Refl2
113       1#
114       $krep3
115
116
117