Ticket #15664: bug.log

File bug.log, 15.7 KB (added by Iceland_jack, 4 months ago)
Line 
1GHCi, version 8.7.20180828: http://www.haskell.org/ghc/  :? for help
2[1 of 1] Compiling Main             ( hs/443.hs, interpreted )
3*** Core Lint errors : in result of Desugar (before optimization) ***
4<no location info>: warning:
5    In the type ‘forall k (f :: k). ApplyT k f ~> Apply k f’
6    Un-saturated type application Apply k_a1BA f_a1BB
7*** Offending Program ***
8Rec {
9$tcApplyT :: TyCon
10[LclIdX]
11$tcApplyT
12  = TyCon
13      14646326419187070856##
14      770477529860249545##
15      $trModule
16      (TrNameS "ApplyT"#)
17      1#
18      $krep_a1GA
19
20$tc'A0 :: TyCon
21[LclIdX]
22$tc'A0
23  = TyCon
24      735812159254998211##
25      2756920710479752765##
26      $trModule
27      (TrNameS "'A0"#)
28      1#
29      $krep_a1GE
30
31$tc'AS :: TyCon
32[LclIdX]
33$tc'AS
34  = TyCon
35      8819886702588154645##
36      7410505460215004544##
37      $trModule
38      (TrNameS "'AS"#)
39      5#
40      $krep_a1GH
41
42$tcCtx :: TyCon
43[LclIdX]
44$tcCtx
45  = TyCon
46      2690194592515287641##
47      16148815606639006537##
48      $trModule
49      (TrNameS "Ctx"#)
50      0#
51      krep$*Arr*
52
53$tc'E :: TyCon
54[LclIdX]
55$tc'E
56  = TyCon
57      14853457200836118463##
58      4678530544106864470##
59      $trModule
60      (TrNameS "'E"#)
61      0#
62      $krep_a1GR
63
64$tc':&: :: TyCon
65[LclIdX]
66$tc':&:
67  = TyCon
68      10176648281615643310##
69      450120320814288744##
70      $trModule
71      (TrNameS "':&:"#)
72      2#
73      $krep_a1GS
74
75$krep_a1GJ [InlPrag=NOUSERINLINE[~]] :: KindRep
76[LclId]
77$krep_a1GJ = KindRepApp $krep_a1GK $krep_a1GL
78
79$krep_a1GL [InlPrag=NOUSERINLINE[~]] :: KindRep
80[LclId]
81$krep_a1GL = $WKindRepVar (I# 3#)
82
83$krep_a1GK [InlPrag=NOUSERINLINE[~]] :: KindRep
84[LclId]
85$krep_a1GK = $WKindRepVar (I# 2#)
86
87$krep_a1GM [InlPrag=NOUSERINLINE[~]] :: KindRep
88[LclId]
89$krep_a1GM = $WKindRepVar (I# 4#)
90
91$krep_a1GQ [InlPrag=NOUSERINLINE[~]] :: KindRep
92[LclId]
93$krep_a1GQ
94  = KindRepTyConApp
95      $tc':&:
96      (: @ KindRep
97         $krep_a1GP
98         (: @ KindRep
99            $krep_a1GB
100            (: @ KindRep $krep_a1GL (: @ KindRep $krep_a1GM ([] @ KindRep)))))
101
102$krep_a1GG [InlPrag=NOUSERINLINE[~]] :: KindRep
103[LclId]
104$krep_a1GG = KindRepTyConApp $tc'E ([] @ KindRep)
105
106$krep_a1GB [InlPrag=NOUSERINLINE[~]] :: KindRep
107[LclId]
108$krep_a1GB = $WKindRepVar (I# 0#)
109
110$krep_a1GP [InlPrag=NOUSERINLINE[~]] :: KindRep
111[LclId]
112$krep_a1GP = $WKindRepVar (I# 1#)
113
114$krep_a1GW [InlPrag=NOUSERINLINE[~]] :: KindRep
115[LclId]
116$krep_a1GW = KindRepFun $krep_a1GB $krep_a1GP
117
118$krep_a1GA [InlPrag=NOUSERINLINE[~]] :: KindRep
119[LclId]
120$krep_a1GA = KindRepFun $krep_a1GB $krep_a1GC
121
122$krep_a1GS [InlPrag=NOUSERINLINE[~]] :: KindRep
123[LclId]
124$krep_a1GS = KindRepFun $krep_a1GB $krep_a1GT
125
126$krep_a1GE [InlPrag=NOUSERINLINE[~]] :: KindRep
127[LclId]
128$krep_a1GE = KindRepFun $krep_a1GB $krep_a1GF
129
130$krep_a1GO [InlPrag=NOUSERINLINE[~]] :: KindRep
131[LclId]
132$krep_a1GO = KindRepFun $krep_a1GP $krep_a1GB
133
134$krep_a1GH [InlPrag=NOUSERINLINE[~]] :: KindRep
135[LclId]
136$krep_a1GH = KindRepFun $krep_a1GI $krep_a1GN
137
138$krep_a1GC [InlPrag=NOUSERINLINE[~]] :: KindRep
139[LclId]
140$krep_a1GC = KindRepFun $krep_a1GD krep$*
141
142$krep_a1GT [InlPrag=NOUSERINLINE[~]] :: KindRep
143[LclId]
144$krep_a1GT = KindRepFun $krep_a1GU $krep_a1GV
145
146$krep_a1GI [InlPrag=NOUSERINLINE[~]] :: KindRep
147[LclId]
148$krep_a1GI
149  = KindRepTyConApp
150      $tcApplyT
151      (: @ KindRep
152         $krep_a1GB
153         (: @ KindRep $krep_a1GJ (: @ KindRep $krep_a1GM ([] @ KindRep))))
154
155$krep_a1GN [InlPrag=NOUSERINLINE[~]] :: KindRep
156[LclId]
157$krep_a1GN
158  = KindRepTyConApp
159      $tcApplyT
160      (: @ KindRep
161         $krep_a1GO
162         (: @ KindRep $krep_a1GK (: @ KindRep $krep_a1GQ ([] @ KindRep))))
163
164$krep_a1GF [InlPrag=NOUSERINLINE[~]] :: KindRep
165[LclId]
166$krep_a1GF
167  = KindRepTyConApp
168      $tcApplyT
169      (: @ KindRep
170         krep$*
171         (: @ KindRep $krep_a1GB (: @ KindRep $krep_a1GG ([] @ KindRep))))
172
173$krep_a1GD [InlPrag=NOUSERINLINE[~]] :: KindRep
174[LclId]
175$krep_a1GD
176  = KindRepTyConApp $tcCtx (: @ KindRep $krep_a1GB ([] @ KindRep))
177
178$krep_a1GU [InlPrag=NOUSERINLINE[~]] :: KindRep
179[LclId]
180$krep_a1GU
181  = KindRepTyConApp $tcCtx (: @ KindRep $krep_a1GP ([] @ KindRep))
182
183$krep_a1GV [InlPrag=NOUSERINLINE[~]] :: KindRep
184[LclId]
185$krep_a1GV
186  = KindRepTyConApp $tcCtx (: @ KindRep $krep_a1GW ([] @ KindRep))
187
188$krep_a1GR [InlPrag=NOUSERINLINE[~]] :: KindRep
189[LclId]
190$krep_a1GR
191  = KindRepTyConApp $tcCtx (: @ KindRep krep$* ([] @ KindRep))
192
193$trModule :: Module
194[LclIdX]
195$trModule = Module (TrNameS "main"#) (TrNameS "Main"#)
196
197unravel :: forall k (f :: k). ApplyT k f ~> Apply k f
198[LclIdX]
199unravel
200  = \ (@ k_a1F2)
201      (@ (f_a1F3 :: k_a1F2))
202      (@ (xx_a1F4 :: Ctx k_a1F2))
203      (ds_d1GX :: ApplyT k_a1F2 f_a1F3 xx_a1F4) ->
204      case ds_d1GX of wild_00 {
205        A0 @ a_a1F6 co_a1F7 co_a1F8 co_a1F9 a_a1BC ->
206          let {
207            co_a1Fu :: xx_a1F4 ~# ('E |> (Ctx (Sym co_a1F7))_N)
208            [LclId[CoVarId]]
209            co_a1Fu = CO: co_a1F9 ; GRefl nominal 'E (Ctx (Sym co_a1F7))_N } in
210          let {
211            co_a1Fr :: f_a1F3 ~# (a_a1F6 |> Sym co_a1F7)
212            [LclId[CoVarId]]
213            co_a1Fr = CO: co_a1F8 ; GRefl nominal a_a1F6 (Sym co_a1F7) } in
214          let {
215            co_a1Fs :: (f_a1F3 |> co_a1F7) ~# a_a1F6
216            [LclId[CoVarId]]
217            co_a1Fs
218              = CO: (Sym (GRefl nominal f_a1F3
219                              co_a1F7) ; co_a1Fr) ; Sym (GRefl nominal a_a1F6 (Sym co_a1F7)) } in
220          let {
221            co_a1Ft :: a_a1F6 ~# (f_a1F3 |> co_a1F7)
222            [LclId[CoVarId]]
223            co_a1Ft = CO: Sym co_a1Fs } in
224          break<0>(a_a1BC)
225          a_a1BC
226          `cast` (Sub ((Sym ((Sym (GRefl nominal f_a1F3
227                                       co_a1F7) ; GRefl nominal f_a1F3
228                                                      co_a1F7) ; Sym co_a1Ft) ; (Sym (GRefl nominal f_a1F3
229                                                                                          co_a1F7) ; GRefl nominal f_a1F3
230                                                                                                         co_a1F7)) ; (Sym (D:R:Apply[0]
231                                                                                                                               <(f_a1F3 |> co_a1F7)>_N ; Sym (Sym (GRefl nominal f_a1F3
232                                                                                                                                                                       co_a1F7) ; GRefl nominal f_a1F3
233                                                                                                                                                                                      co_a1F7)) ; (Apply
234                                                                                                                                                                                                     (Sym co_a1F7)
235                                                                                                                                                                                                     (Sym (GRefl nominal f_a1F3
236                                                                                                                                                                                                               co_a1F7))
237                                                                                                                                                                                                     (Sym (GRefl nominal ('E |> (Ctx
238                                                                                                                                                                                                                                   (Sym co_a1F7))_N)
239                                                                                                                                                                                                               (Sym (Ctx
240                                                                                                                                                                                                                       (Sym co_a1F7))_N)) ; ((Sym (GRefl nominal 'E
241                                                                                                                                                                                                                                                       (Ctx
242                                                                                                                                                                                                                                                          (Sym co_a1F7))_N) ; GRefl nominal 'E
243                                                                                                                                                                                                                                                                                  (Ctx
244                                                                                                                                                                                                                                                                                     (Sym co_a1F7))_N) ; Sym co_a1Fu)))_N))
245                  :: a_a1F6[ssk:2] ~R# Apply k_a1F2 f_a1F3 xx_a1F4[sk:1]);
246        AS @ ks_a1Fc @ k_a1Fd @ f_a1Fe @ a_a1Ff @ as_a1Fg co_a1Fh co_a1Fi
247           co_a1Fj fa_a1BD ->
248          let {
249            co_a1FB
250              :: xx_a1F4 ~# (a_a1Ff ':&: as_a1Fg |> (Ctx (Sym co_a1Fh))_N)
251            [LclId[CoVarId]]
252            co_a1FB
253              = CO: co_a1Fj ; GRefl nominal (a_a1Ff ':&: as_a1Fg)
254                                  (Ctx (Sym co_a1Fh))_N } in
255          let {
256            co_a1Fy :: f_a1F3 ~# (f_a1Fe |> Sym co_a1Fh)
257            [LclId[CoVarId]]
258            co_a1Fy = CO: co_a1Fi ; GRefl nominal f_a1Fe (Sym co_a1Fh) } in
259          let {
260            co_a1Fz :: (f_a1F3 |> co_a1Fh) ~# f_a1Fe
261            [LclId[CoVarId]]
262            co_a1Fz
263              = CO: (Sym (GRefl nominal f_a1F3
264                              co_a1Fh) ; co_a1Fy) ; Sym (GRefl nominal f_a1Fe (Sym co_a1Fh)) } in
265          let {
266            co_a1FA :: f_a1Fe ~# (f_a1F3 |> co_a1Fh)
267            [LclId[CoVarId]]
268            co_a1FA = CO: Sym co_a1Fz } in
269          break<1>(fa_a1BD)
270          (unravel @ ks_a1Fc @ (f_a1Fe a_a1Ff) @ as_a1Fg fa_a1BD)
271          `cast` (Sub (Sym ((Apply
272                               <ks_a1Fc>_N
273                               ((Sym (GRefl nominal f_a1F3 co_a1Fh) ; GRefl nominal f_a1F3
274                                                                          co_a1Fh) <a_a1Ff>_N)
275                               <as_a1Fg>_N)_N ; (Apply
276                                                   <ks_a1Fc>_N
277                                                   (((Sym (GRefl nominal f_a1F3
278                                                               co_a1Fh) ; GRefl nominal f_a1F3
279                                                                              co_a1Fh) ; Sym co_a1FA) <a_a1Ff>_N)
280                                                   <as_a1Fg>_N)_N) ; (Sym (D:R:Apply[1]
281                                                                               <k_a1Fd>_N
282                                                                               <ks_a1Fc>_N
283                                                                               <(f_a1F3 |> co_a1Fh)>_N
284                                                                               <a_a1Ff>_N
285                                                                               <as_a1Fg>_N ; Sym ((Apply
286                                                                                                     <ks_a1Fc>_N
287                                                                                                     ((Sym (GRefl nominal f_a1F3
288                                                                                                                co_a1Fh) ; GRefl nominal f_a1F3
289                                                                                                                               co_a1Fh) <a_a1Ff>_N)
290                                                                                                     <as_a1Fg>_N)_N ; (Apply
291                                                                                                                         <ks_a1Fc>_N
292                                                                                                                         ((Sym (GRefl nominal f_a1F3
293                                                                                                                                    co_a1Fh) ; GRefl nominal f_a1F3
294                                                                                                                                                   co_a1Fh) <a_a1Ff>_N)
295                                                                                                                         <as_a1Fg>_N)_N)) ; (Apply
296                                                                                                                                               (Sym co_a1Fh)
297                                                                                                                                               (Sym (GRefl nominal f_a1F3
298                                                                                                                                                         co_a1Fh))
299                                                                                                                                               (Sym (GRefl nominal (a_a1Ff
300                                                                                                                                                                    ':&: as_a1Fg |> (Ctx
301                                                                                                                                                                                       (Sym co_a1Fh))_N)
302                                                                                                                                                         (Sym (Ctx
303                                                                                                                                                                 (Sym co_a1Fh))_N)) ; ((Sym (GRefl nominal (a_a1Ff
304                                                                                                                                                                                                            ':&: as_a1Fg)
305                                                                                                                                                                                                 (Ctx
306                                                                                                                                                                                                    (Sym co_a1Fh))_N) ; GRefl nominal (a_a1Ff
307                                                                                                                                                                                                                                       ':&: as_a1Fg)
308                                                                                                                                                                                                                            (Ctx
309                                                                                                                                                                                                                               (Sym co_a1Fh))_N) ; Sym co_a1FB)))_N))
310                  :: Apply ks_a1Fc (f_a1Fe[ssk:2] a_a1Ff) as_a1Fg
311                     ~R# Apply k_a1F2 f_a1F3 xx_a1F4[sk:1])
312      }
313end Rec }
314
315*** End of Offense ***
316
317Leaving GHCi.