Ticket #14507: core-dump.log

File core-dump.log, 13.6 KB (added by Iceland_jack, 11 months ago)
Line 
1GHCi, version 8.3.20170920: http://www.haskell.org/ghc/  :? for help
2[1 of 1] Compiling Main             ( /tmp/Bug.hs, interpreted )
3*** Core Lint errors : in result of Desugar (after optimization) ***
4<no location info>: warning:
5    In the type ‘forall kk (a :: kk).
6                 (Typeable a, (N :: *) ~ (kk :: *), Typeable (a |> cobox_a22j)) =>
7                 TypeRep a’
8    cobox_a22j :: (kk_a225 :: *) ~# (N :: *)
9    [LclId[CoVarId]] is out of scope
10*** Offending Program ***
11$bRepN
12  :: forall kk (a :: kk).
13     (Typeable a, (N :: *) ~ (kk :: *)) =>
14     SING a -> TypeRep a
15[LclIdX]
16$bRepN
17  = \ (@ kk_a22W)
18      (@ (a_a22X :: kk_a22W))
19      _ [Occ=Dead]
20      ($d~_a230 :: (N :: *) ~ (kk_a22W :: *)) ->
21      case HEq_sc @ * @ * @ N @ kk_a22W ($p1~ @ * @ N @ kk_a22W $d~_a230)
22      of cobox_a23s
23      { __DEFAULT ->
24      \ (tr_a1HF :: SING a_a22X) ->
25        (break<10>(tr_a1HF) tr_a1HF)
26        `cast` (((SING (Sym cobox_a23s))_R ; (Sub (D:R:SING[0]) ; (TypeRep
27                                                                     cobox_a23s)_R)) <a_a22X>_N
28                :: (SING a_a22X :: *) ~R# (TypeRep a_a22X :: *))
29      }
30
31$bBloop'
32  :: forall k1 k (k' :: k1) (a :: k).
33     Typeable k' =>
34     (k' :~~: k) -> TypeRep a -> TypeRep a
35[LclIdX]
36$bBloop'
37  = \ (@ k1_a22M)
38      (@ k_a22N)
39      (@ (k'_a22O :: k1_a22M))
40      (@ (a_a22P :: k_a22N))
41      _ [Occ=Dead]
42      (ds_d25s :: k'_a22O :~~: k_a22N)
43      (rep_a1HD :: TypeRep a_a22P) ->
44      case ds_d25s of { HRefl cobox_a22S cobox_a22T ->
45      break<9>(rep_a1HD) rep_a1HD
46      }
47
48$bTypeRep :: forall k (a :: k). Typeable a => TypeRep a
49[LclIdX]
50$bTypeRep
51  = \ (@ k_a22E)
52      (@ (a_a22F :: k_a22E))
53      ($dTypeable_a22H :: Typeable a_a22F) ->
54      break<8>() typeRep @ k_a22E @ a_a22F $dTypeable_a22H
55
56$bSO
57  :: forall kk (a :: kk).
58     (Typeable a, (N :: *) ~ (kk :: *), Typeable (a |> cobox_a22j)) =>
59     TypeRep a
60[LclIdX]
61$bSO
62  = \ (@ kk_a233)
63      (@ (a_a234 :: kk_a233))
64      ($dTypeable_a236 :: Typeable a_a234)
65      ($d~_a237 :: (N :: *) ~ (kk_a233 :: *))
66      _ [Occ=Dead] ->
67      case HEq_sc @ * @ * @ N @ kk_a233 ($p1~ @ * @ N @ kk_a233 $d~_a237)
68      of cobox_a23z
69      { __DEFAULT ->
70      break<11>()
71      $bRepN
72        @ kk_a233
73        @ a_a234
74        (($dTypeable_a236
75          `cast` ((Typeable
76                     (Sym cobox_a23z) (Sym (Coh <a_a234>_N (Sym cobox_a23z))))_R
77                  :: (Typeable a_a234 :: Constraint)
78                     ~R# (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint)))
79         `cast` ((Typeable cobox_a23z (Coh <a_a234>_N (Sym cobox_a23z)))_R
80                 :: (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint)
81                    ~R# (Typeable a_a234 :: Constraint)))
82        (($d~_a237
83          `cast` (((~) <*>_N <N>_N (Sym cobox_a23z))_R
84                  :: ((N :: *) ~ (kk_a233 :: *) :: Constraint)
85                     ~R# ((N :: *) ~ (N :: *) :: Constraint)))
86         `cast` (((~) <*>_N <N>_N cobox_a23z)_R
87                 :: ((N :: *) ~ (N :: *) :: Constraint)
88                    ~R# ((N :: *) ~ (kk_a233 :: *) :: Constraint)))
89        (($bTypeRep
90            @ N
91            @ (a_a234 |> Sym cobox_a23z)
92            (($dTypeable_a236
93              `cast` ((Typeable
94                         (Sym cobox_a23z) (Sym (Coh <a_a234>_N (Sym cobox_a23z))))_R
95                      :: (Typeable a_a234 :: Constraint)
96                         ~R# (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint)))
97             `cast` ((Typeable
98                        <N>_N
99                        (Sym (Coh (Sym (Coh <a_a234>_N (Sym cobox_a23z)))
100                                  (Sym cobox_a23z))))_R
101                     :: (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint)
102                        ~R# (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint))))
103         `cast` ((Sub (Sym (D:R:SING[0])) ; (SING
104                                               cobox_a23z)_R) (Sym (Coh (Sym (Coh <a_a234>_N
105                                                                                  (Sym cobox_a23z)))
106                                                                        (Sym cobox_a23z)) ; Coh <a_a234>_N
107                                                                                                (Sym cobox_a23z))
108                 :: (TypeRep (a_a234 |> Sym cobox_a23z) :: *)
109                    ~R# (SING a_a234 :: *)))
110      }
111
112foo
113  :: forall k' k (kind :: k') (a :: k).
114     TypeRep kind -> TypeRep a -> Maybe (kind :~~: k, TypeRep a)
115[LclIdX]
116foo
117  = \ (@ k'_a201)
118      (@ k_a202)
119      (@ (kind_a203 :: k'_a201))
120      (@ (a_a204 :: k_a202))
121      (krep_a1Hz :: TypeRep kind_a203)
122      (rep_a1HA :: TypeRep a_a204) ->
123      break<4>(krep_a1Hz,rep_a1HA)
124      >>=
125        @ Maybe
126        $fMonadMaybe
127        @ (kind_a203 :~~: k_a202)
128        @ (kind_a203 :~~: k_a202, TypeRep a_a204)
129        (break<3>(krep_a1Hz,rep_a1HA)
130         eqTypeRep
131           @ k'_a201
132           @ *
133           @ kind_a203
134           @ k_a202
135           krep_a1Hz
136           (break<2>(rep_a1HA) typeRepKind @ k_a202 @ a_a204 rep_a1HA))
137        (\ (ds_d24U :: kind_a203 :~~: k_a202) ->
138           case ds_d24U of { HRefl cobox_a20y cobox_a20z ->
139           (pure
140              @ Maybe
141              $fApplicativeMaybe
142              @ (kind_a203 :~~: kind_a203, TypeRep a_a204)
143              ($WHRefl @ k'_a201 @ kind_a203, rep_a1HA))
144           `cast` ((Maybe
145                      ((,)
146                         ((:~~:)
147                            <k'_a201>_N
148                            (Sym cobox_a20y)
149                            <kind_a203>_N
150                            (Sym (Coh <kind_a203>_N
151                                      (Sym cobox_a20y)) ; (Sym (Coh (Sym (Coh <kind_a203>_N
152                                                                              (Sym cobox_a20y)))
153                                                                    (Sym cobox_a20y)) ; (Coh <kind_a203>_N
154                                                                                             (Sym cobox_a20y) ; Sym cobox_a20z))))_R
155                         <TypeRep a_a204>_R)_R)_R
156                   :: (Maybe (kind_a203 :~~: kind_a203, TypeRep a_a204) :: *)
157                      ~R# (Maybe (kind_a203 :~~: k_a202, TypeRep a_a204) :: *))
158           })
159
160$mBloop'
161  :: forall (r :: TYPE rep) k1 k (k' :: k1) (a :: k).
162     Typeable k' =>
163     TypeRep a -> ((k' :~~: k) -> TypeRep a -> r) -> (Void# -> r) -> r
164[LclIdX]
165$mBloop'
166  = \ (@ (rep_a21c :: RuntimeRep))
167      (@ (r_a21d :: TYPE rep_a21c))
168      (@ k1_a1Kl)
169      (@ k_a1Hs)
170      (@ (k'_a1Ht :: k1_a1Kl))
171      (@ (a_a1Hu :: k_a1Hs))
172      ($dTypeable_a20W :: Typeable k'_a1Ht)
173      (scrut_a21f :: TypeRep a_a1Hu)
174      (cont_a21g :: (k'_a1Ht :~~: k_a1Hs) -> TypeRep a_a1Hu -> r_a21d)
175      (fail_a21h :: Void# -> r_a21d) ->
176      break<5>(fail_a21h,scrut_a21f,cont_a21g)
177      case foo
178             @ k1_a1Kl
179             @ k_a1Hs
180             @ k'_a1Ht
181             @ a_a1Hu
182             (typeRep @ k1_a1Kl @ k'_a1Ht $dTypeable_a20W)
183             scrut_a21f
184      of {
185        __DEFAULT -> fail_a21h void#;
186        Just ds_d258 ->
187          case ds_d258 of { (hrefl_a1HB, rep_a1HC) ->
188          cont_a21g hrefl_a1HB rep_a1HC
189          }
190      }
191
192asTypeable :: forall k (a :: k). TypeRep a -> Dict (Typeable a)
193[LclIdX]
194asTypeable
195  = \ (@ k_a1Zu)
196      (@ (a_a1Zv :: k_a1Zu))
197      (rep_a1HG :: TypeRep a_a1Zv) ->
198      break<0>(rep_a1HG)
199      withTypeable
200        @ k_a1Zu
201        @ a_a1Zv
202        @ (Dict (Typeable a_a1Zv))
203        rep_a1HG
204        (Dict @ (Typeable a_a1Zv))
205
206$mTypeRep
207  :: forall (r :: TYPE rep) k (a :: k).
208     TypeRep a -> (Typeable a => r) -> (Void# -> r) -> r
209[LclIdX]
210$mTypeRep
211  = \ (@ (rep_a1ZU :: RuntimeRep))
212      (@ (r_a1ZV :: TYPE rep_a1ZU))
213      (@ k_a1J8)
214      (@ (a_a1As :: k_a1J8))
215      (scrut_a1ZX :: TypeRep a_a1As)
216      (cont_a1ZY :: Typeable a_a1As => r_a1ZV)
217      _ [Occ=Dead] ->
218      break<1>(scrut_a1ZX,cont_a1ZY)
219      case asTypeable @ k_a1J8 @ a_a1As scrut_a1ZX of
220      { Dict $dTypeable_a1ZO ->
221      cont_a1ZY $dTypeable_a1ZO
222      }
223
224$trModule :: Module
225[LclIdX]
226$trModule = Module (TrNameS "main"#) (TrNameS "Main"#)
227
228$krep_a24N [InlPrag=NOUSERINLINE[~]] :: KindRep
229[LclId]
230$krep_a24N = $WKindRepVar (I# 0#)
231
232$krep_a24L [InlPrag=NOUSERINLINE[~]] :: KindRep
233[LclId]
234$krep_a24L = KindRepTyConApp $tcConstraint ([] @ KindRep)
235
236$krep_a24K [InlPrag=NOUSERINLINE[~]] :: KindRep
237[LclId]
238$krep_a24K = KindRepFun $krep_a24L krep$*
239
240$tcDict :: TyCon
241[LclIdX]
242$tcDict
243  = TyCon
244      12987113738476613843##
245      8633772289720193919##
246      $trModule
247      (TrNameS "Dict"#)
248      0#
249      $krep_a24K
250
251$krep_a24O [InlPrag=NOUSERINLINE[~]] :: KindRep
252[LclId]
253$krep_a24O
254  = KindRepTyConApp $tcDict (: @ KindRep $krep_a24N ([] @ KindRep))
255
256$krep_a24M [InlPrag=NOUSERINLINE[~]] :: KindRep
257[LclId]
258$krep_a24M = KindRepFun $krep_a24N $krep_a24O
259
260$tc'Dict :: TyCon
261[LclIdX]
262$tc'Dict
263  = TyCon
264      2488727520366487455##
265      14348606358165608576##
266      $trModule
267      (TrNameS "'Dict"#)
268      1#
269      $krep_a24M
270
271$tcN :: TyCon
272[LclIdX]
273$tcN
274  = TyCon
275      14162403891285604257##
276      1486848424181475098##
277      $trModule
278      (TrNameS "N"#)
279      0#
280      krep$*
281
282$krep_a24I [InlPrag=NOUSERINLINE[~]] :: KindRep
283[LclId]
284$krep_a24I = KindRepTyConApp $tcN ([] @ KindRep)
285
286$tc'O :: TyCon
287[LclIdX]
288$tc'O
289  = TyCon
290      9675801932394384788##
291      6712316648948115877##
292      $trModule
293      (TrNameS "'O"#)
294      0#
295      $krep_a24I
296
297$krep_a24J [InlPrag=NOUSERINLINE[~]] :: KindRep
298[LclId]
299$krep_a24J = KindRepFun $krep_a24I $krep_a24I
300
301$tc'S :: TyCon
302[LclIdX]
303$tc'S
304  = TyCon
305      10647899308490662250##
306      755550826881158692##
307      $trModule
308      (TrNameS "'S"#)
309      0#
310      $krep_a24J
311
312$mRepN
313  :: forall (r :: TYPE rep) kk (a :: kk).
314     Typeable a =>
315     TypeRep a
316     -> (((N :: *) ~ (kk :: *)) => SING a -> r) -> (Void# -> r) -> r
317[LclIdX]
318$mRepN
319  = \ (@ (rep_a21X :: RuntimeRep))
320      (@ (r_a21Y :: TYPE rep_a21X))
321      (@ kk_a1Au)
322      (@ (a_a1Av :: kk_a1Au))
323      _ [Occ=Dead]
324      (scrut_a220 :: TypeRep a_a1Av)
325      (cont_a221 :: ((N :: *) ~ (kk_a1Au :: *)) => SING a_a1Av -> r_a21Y)
326      (fail_a222 :: Void# -> r_a21Y) ->
327      break<6>(fail_a222,scrut_a220,cont_a221)
328      let {
329        fail_d25h :: Void# -> r_a21Y
330        [LclId]
331        fail_d25h = \ _ [Occ=Dead, OS=OneShot] -> fail_a222 void# } in
332      $mBloop'
333        @ rep_a21X
334        @ r_a21Y
335        @ *
336        @ kk_a1Au
337        @ N
338        @ a_a1Av
339        ((mkTrCon @ * @ N $tcN ([] @ SomeTypeRep))
340         `cast` (Sym (N:Typeable[0]) <*>_N <N>_N
341                 :: (TypeRep N :: *) ~R# (Typeable N :: Constraint)))
342        scrut_a220
343        (\ (ds_d25e :: N :~~: kk_a1Au) (ds_d25f :: TypeRep a_a1Av) ->
344           case ds_d25e of { HRefl cobox_a21u cobox_a21v ->
345           cont_a221
346             (($f~kab
347                 @ *
348                 @ N
349                 @ N
350                 (Eq# @ * @ * @ N @ N @~ (<N>_N :: (N :: *) ~# (N :: *))))
351              `cast` (((~) <*>_N <N>_N (Sym cobox_a21v))_R
352                      :: ((N :: *) ~ (N :: *) :: Constraint)
353                         ~R# ((N :: *) ~ (kk_a1Au :: *) :: Constraint)))
354             ((ds_d25f
355               `cast` ((TypeRep cobox_a21v (Sym (Coh <a_a1Av>_N cobox_a21v)))_R
356                       :: (TypeRep a_a1Av :: *)
357                          ~R# (TypeRep (a_a1Av |> cobox_a21v) :: *)))
358              `cast` ((Sub (Sym (D:R:SING[0])) ; (SING
359                                                    (Sym cobox_a21v))_R) (Coh (Sym (Coh <a_a1Av>_N
360                                                                                        cobox_a21v))
361                                                                              cobox_a21v ; Coh <a_a1Av>_N
362                                                                                               cobox_a21v)
363                      :: (TypeRep (a_a1Av |> cobox_a21v) :: *) ~R# (SING a_a1Av :: *)))
364           })
365        (\ _ [Occ=Dead] -> fail_d25h void#)
366
367$mSO
368  :: forall (r :: TYPE rep) kk (a :: kk).
369     Typeable a =>
370     TypeRep a
371     -> (((N :: *) ~ (kk :: *), Typeable (a |> cobox_a22j)) => r)
372     -> (Void# -> r)
373     -> r
374[LclIdX]
375$mSO
376  = \ (@ (rep_a22x :: RuntimeRep))
377      (@ (r_a22y :: TYPE rep_a22x))
378      (@ kk_a225)
379      (@ (a_a226 :: kk_a225))
380      ($dTypeable_a22w :: Typeable a_a226)
381      (scrut_a22A :: TypeRep a_a226)
382      (cont_a22B
383         :: ((N :: *) ~ (kk_a225 :: *), Typeable (a_a226 |> cobox_a22j)) =>
384            r_a22y)
385      (fail_a22C :: Void# -> r_a22y) ->
386      break<7>(fail_a22C,scrut_a22A,cont_a22B)
387      let {
388        fail_d25p :: Void# -> r_a22y
389        [LclId]
390        fail_d25p = \ _ [Occ=Dead, OS=OneShot] -> fail_a22C void# } in
391      $mRepN
392        @ rep_a22x
393        @ r_a22y
394        @ kk_a225
395        @ a_a226
396        $dTypeable_a22w
397        scrut_a22A
398        (\ ($d~_a228 :: (N :: *) ~ (kk_a225 :: *))
399           (ds_d25n :: SING a_a226) ->
400           case HEq_sc @ * @ * @ N @ kk_a225 ($p1~ @ * @ N @ kk_a225 $d~_a228)
401           of cobox_a22i
402           { __DEFAULT ->
403           $mTypeRep
404             @ rep_a22x
405             @ r_a22y
406             @ N
407             @ (a_a226 |> Sym cobox_a22i)
408             (ds_d25n
409              `cast` (((SING
410                          (Sym cobox_a22i))_R ; Sub (D:R:SING[0])) (Sym (Coh <a_a226>_N
411                                                                             (Sym cobox_a22i)))
412                      :: (SING a_a226 :: *)
413                         ~R# (TypeRep (a_a226 |> Sym cobox_a22i) :: *)))
414             (\ ($dTypeable_a22d :: Typeable (a_a226 |> Sym cobox_a22i)) ->
415                cont_a22B $d~_a228 $dTypeable_a22d)
416             (\ _ [Occ=Dead] -> fail_d25p void#)
417           })
418        (\ _ [Occ=Dead] -> fail_d25p void#)
419
420*** End of Offense ***
421
422Leaving GHCi.