TcTypeable: Try to reuse KindReps
[ghc.git] / testsuite / tests / deSugar / should_compile / T2431.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 74, types: 46, 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.KindRepTYPE GHC.Types.LiftedRep
54
55 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
56 $krep1 :: GHC.Types.KindRep
57 [GblId, Caf=NoCafRefs]
58 $krep1 = GHC.Types.KindRepFun $krep $krep
59
60 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
61 $krep2 :: GHC.Types.KindRep
62 [GblId, Caf=NoCafRefs]
63 $krep2 = GHC.Types.KindRepFun $krep $krep1
64
65 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
66 $krep3 :: GHC.Types.KindRep
67 [GblId, Caf=NoCafRefs]
68 $krep3 = GHC.Types.KindRepVar 0#
69
70 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
71 $tc:~:1 :: GHC.Prim.Addr#
72 [GblId, Caf=NoCafRefs]
73 $tc:~:1 = ":~:"#
74
75 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
76 $tc:~:2 :: GHC.Types.TrName
77 [GblId, Caf=NoCafRefs]
78 $tc:~:2 = GHC.Types.TrNameS $tc:~:1
79
80 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
81 T2431.$tc:~: :: GHC.Types.TyCon
82 [GblId, Caf=NoCafRefs]
83 T2431.$tc:~:
84   = GHC.Types.TyCon
85       4608886815921030019##
86       6030312177285011233##
87       T2431.$trModule
88       $tc:~:2
89       0#
90       $krep2
91
92 -- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
93 $krep4 :: [GHC.Types.KindRep]
94 [GblId, Caf=NoCafRefs]
95 $krep4
96   = GHC.Types.:
97       @ GHC.Types.KindRep $krep3 (GHC.Types.[] @ GHC.Types.KindRep)
98
99 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
100 $krep5 :: [GHC.Types.KindRep]
101 [GblId, Caf=NoCafRefs]
102 $krep5 = GHC.Types.: @ GHC.Types.KindRep $krep3 $krep4
103
104 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
105 $krep6 :: GHC.Types.KindRep
106 [GblId, Caf=NoCafRefs]
107 $krep6 = GHC.Types.KindRepTyConApp T2431.$tc:~: $krep5
108
109 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
110 $tc'Refl1 :: GHC.Prim.Addr#
111 [GblId, Caf=NoCafRefs]
112 $tc'Refl1 = "'Refl"#
113
114 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
115 $tc'Refl2 :: GHC.Types.TrName
116 [GblId, Caf=NoCafRefs]
117 $tc'Refl2 = GHC.Types.TrNameS $tc'Refl1
118
119 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
120 T2431.$tc'Refl :: GHC.Types.TyCon
121 [GblId, Caf=NoCafRefs]
122 T2431.$tc'Refl
123   = GHC.Types.TyCon
124       2478588351447975921##
125       2684375695874497811##
126       T2431.$trModule
127       $tc'Refl2
128       1#
129       $krep6
130
131
132