Ticket #2787: ghcbug.txt

File ghcbug.txt, 11.1 KB (added by BenMoseley, 5 years ago)

Full Output

Line 
1{-# LANGUAGE TypeFamilies, GADTs #-}
2module GHCBug (
3  PVR(..),
4  Core(..),
5  analyseCore
6)
7where
8
9data Core a where Ctr :: Core Double
10data PVR a = PVR a deriving (Eq, Show)
11
12
13class Sub a where
14    type AssocSyn a :: * -> *
15
16instance Sub Double where
17    type AssocSyn Double = PVR
18
19
20analyseCore :: Core a -> ((AssocSyn a) a)
21analyseCore Ctr = pvr
22  where
23    -- GHC panics if we use the below as the type sig for 'pvr'
24    pvr :: PVR ~ AssocSyn a => (AssocSyn a) a
25    -- pvr :: (AssocSyn a) a
26    pvr = undefined
27
28main :: IO ()
29main = print "ok"
30
31
32c:/ws/main/depot/QA/EDG/EDG_priv/FPF_Dev.br/src $ ghc -main-is GHCBug ~/GHCBug.hs
33ghc.exe: panic! (the 'impossible' happened)
34  (GHC version 6.10.1 for i386-unknown-mingw32):
35        initC: srt_lbl
36
37Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
38
39c:/ws/main/depot/QA/EDG/EDG_priv/FPF_Dev.br/src $ ghc -v -dcore-lint -main-is GHCBug ~/GHCBug.hs
40Glasgow Haskell Compiler, Version 6.10.1, for Haskell 98, stage 2 booted by GHC version 6.8.3
41Using package config file: C:\ws\main\depot\QA\EDG\EDG_priv\FPF_Dev.br\ThirdParty\ghc\ghc-6.10.1\package.conf
42hiding package base-3.0.3.0 to avoid conflict with later version base-4.0.0.0
43wired-in package ghc-prim mapped to ghc-prim-0.1.0.0
44wired-in package integer mapped to integer-0.1.0.0
45wired-in package base mapped to base-4.0.0.0
46wired-in package rts mapped to rts-1.0
47wired-in package haskell98 mapped to haskell98-1.0.1.0
48wired-in package syb mapped to syb-0.1.0.0
49wired-in package template-haskell mapped to template-haskell-2.3.0.0
50wired-in package dph-seq mapped to dph-seq-0.3
51wired-in package dph-par mapped to dph-par-0.3
52Hsc static flags: -static
53Created temporary directory: C:\TEMP\/ghc4960_2
54*** Checking old interface for main:GHCBug:
55*** Parser:
56*** Renamer/typechecker:
57*** Desugar:
58    Result size = 199
59*** Core Lint Errors: in result of Desugar ***
60{-# LINE 21 "F:\ME\GHCBug.hs #-}:
61    [RHS of pvr_awa :: GHCBug.AssocSyn
62                         GHC.Types.Double GHC.Types.Double]
63    pvr_afN is out of scope
64*** Offending Program ***
65Rec {
66$dShow_axM :: GHC.Show.Show GHC.Types.Char
67[]
68$dShow_axM = GHC.Show.$f17
69$dShow_avR :: GHC.Show.Show [GHC.Types.Char]
70[]
71$dShow_avR = GHC.Show.$f20 @ GHC.Types.Char $dShow_axM
72:Main.main :: GHC.IOBase.IO ()
73[Exported]
74[]
75:Main.main = GHC.TopHandler.runMainIO @ () GHCBug.main
76GHCBug.$f2 :: GHCBug.Sub GHC.Types.Double
77[Exported]
78[]
79GHCBug.$f2 = GHCBug.:DSub @ GHC.Types.Double
80$dSub_axu :: GHCBug.Sub GHC.Types.Double
81[]
82$dSub_axu = GHCBug.$f2
83showList_axt :: forall a_afG.
84                (GHC.Show.Show a_afG) =>
85                [GHCBug.PVR a_afG] -> GHC.Show.ShowS
86[]
87showList_axt =
88  \ (@ a_afG) ($dShow_awW :: GHC.Show.Show a_afG) ->
89    letrec {
90      showList_axm :: [GHCBug.PVR a_afG] -> GHC.Show.ShowS
91      []
92      showList_axm =
93        GHC.Show.showList__
94          @ (GHCBug.PVR a_afG) (showsPrec_axp (GHC.Types.I# 0));
95      showsPrec_axp :: GHC.Types.Int
96                       -> GHCBug.PVR a_afG
97                       -> GHC.Show.ShowS
98      []
99      showsPrec_axp = GHC.Show.showsPrec @ (GHCBug.PVR a_afG) $dShow_axq;
100      showList_axn :: [GHCBug.PVR a_afG] -> GHC.Show.ShowS
101      []
102      showList_axn = showList_axm;
103      $dShow_axq :: GHC.Show.Show (GHCBug.PVR a_afG)
104      []
105      $dShow_axq = $dShow_axl;
106      $dShow_axl :: GHC.Show.Show (GHCBug.PVR a_afG)
107      []
108      $dShow_axl = GHCBug.$f4 @ a_afG $dShow_awW; } in
109    showList_axm
110showsPrec_axh :: forall a_afG.
111                 (GHC.Show.Show a_afG) =>
112                 GHC.Types.Int -> GHCBug.PVR a_afG -> GHC.Show.ShowS
113[]
114showsPrec_axh =
115  \ (@ a_afG) ($dShow_awW :: GHC.Show.Show a_afG) ->
116    letrec {
117      showsPrec_awZ :: GHC.Types.Int
118                       -> GHCBug.PVR a_afG
119                       -> GHC.Show.ShowS
120      []
121      showsPrec_awZ =
122        \ (a_ajk :: GHC.Types.Int) (ds_dxT :: GHCBug.PVR a_afG) ->
123          case ds_dxT of wild_B1 { GHCBug.PVR b1_ajm ->
124          letrec { } in
125          GHC.Show.showParen
126            (>=_ax6 a_ajk (GHC.Types.I# 11))
127            (GHC.Base..
128               @ GHC.Base.String
129               @ GHC.Base.String
130               @ GHC.Base.String
131               (GHC.Show.showString (GHC.Base.unpackCString# "PVR "))
132               (showsPrec_axd (GHC.Types.I# 11) b1_ajm))
133          };
134      showsPrec_axd :: GHC.Types.Int -> a_afG -> GHC.Show.ShowS
135      []
136      showsPrec_axd = GHC.Show.showsPrec @ a_afG $dShow_axg;
137      $dOrd_axe :: GHC.Classes.Ord GHC.Types.Int
138      []
139      $dOrd_axe = GHC.Base.$f1;
140      >=_ax6 :: GHC.Types.Int -> GHC.Types.Int -> GHC.Bool.Bool
141      []
142      >=_ax6 = GHC.Classes.>= @ GHC.Types.Int $dOrd_axe;
143      showsPrec_ax1 :: GHC.Types.Int
144                       -> GHCBug.PVR a_afG
145                       -> GHC.Show.ShowS
146      []
147      showsPrec_ax1 = showsPrec_awZ;
148      $dShow_axg :: GHC.Show.Show a_afG
149      []
150      $dShow_axg = $dShow_awW;
151      $dShow_awY :: GHC.Show.Show (GHCBug.PVR a_afG)
152      []
153      $dShow_awY = GHCBug.$f4 @ a_afG $dShow_awW; } in
154    showsPrec_awZ
155GHCBug.$f4 :: forall a_afG.
156              (GHC.Show.Show a_afG) =>
157              GHC.Show.Show (GHCBug.PVR a_afG)
158[Exported]
159[]
160GHCBug.$f4 =
161  __inline_me (\ (@ a_afG) ($dShow_awW :: GHC.Show.Show a_afG) ->
162                 letrec {
163                   $dShow_awX :: GHC.Show.Show (GHCBug.PVR a_afG)
164                   []
165                   $dShow_awX =
166                     GHC.Show.:DShow
167                       @ (GHCBug.PVR a_afG)
168                       (showsPrec_axh @ a_afG $dShow_awW)
169                       (GHC.Show.$dmshow @ (GHCBug.PVR a_afG) $dShow_awX)
170                       (showList_axt @ a_afG $dShow_awW); } in
171                 $dShow_awX)
172/=_awV :: forall a_afG.
173          (GHC.Classes.Eq a_afG) =>
174          GHCBug.PVR a_afG -> GHCBug.PVR a_afG -> GHC.Bool.Bool
175[]
176/=_awV =
177  \ (@ a_afG) ($dEq_awA :: GHC.Classes.Eq a_afG) ->
178    letrec {
179      /=_awO :: GHCBug.PVR a_afG -> GHCBug.PVR a_afG -> GHC.Bool.Bool
180      []
181      /=_awO =
182        \ (a_ajg :: GHCBug.PVR a_afG) (b_aji :: GHCBug.PVR a_afG) ->
183          GHC.Classes.not (==_awR a_ajg b_aji);
184      ==_awR :: GHCBug.PVR a_afG -> GHCBug.PVR a_afG -> GHC.Bool.Bool
185      []
186      ==_awR = GHC.Classes.== @ (GHCBug.PVR a_afG) $dEq_awS;
187      /=_awP :: GHCBug.PVR a_afG -> GHCBug.PVR a_afG -> GHC.Bool.Bool
188      []
189      /=_awP = /=_awO;
190      $dEq_awS :: GHC.Classes.Eq (GHCBug.PVR a_afG)
191      []
192      $dEq_awS = $dEq_awN;
193      $dEq_awN :: GHC.Classes.Eq (GHCBug.PVR a_afG)
194      []
195      $dEq_awN = GHCBug.$f3 @ a_afG $dEq_awA; } in
196    /=_awO
197==_awM :: forall a_afG.
198          (GHC.Classes.Eq a_afG) =>
199          GHCBug.PVR a_afG -> GHCBug.PVR a_afG -> GHC.Bool.Bool
200[]
201==_awM =
202  \ (@ a_afG) ($dEq_awA :: GHC.Classes.Eq a_afG) ->
203    letrec {
204      ==_awD :: GHCBug.PVR a_afG -> GHCBug.PVR a_afG -> GHC.Bool.Bool
205      []
206      ==_awD =
207        \ (ds_dxP :: GHCBug.PVR a_afG) (ds_dxQ :: GHCBug.PVR a_afG) ->
208          case ds_dxP of wild_B1 { GHCBug.PVR a1_ajc ->
209          letrec { } in
210          case ds_dxQ of wild_B1 { GHCBug.PVR b1_aje ->
211          letrec { } in ==_awK a1_ajc b1_aje
212          }
213          };
214      ==_awK :: a_afG -> a_afG -> GHC.Bool.Bool
215      []
216      ==_awK = GHC.Classes.== @ a_afG $dEq_awL;
217      ==_awI :: GHCBug.PVR a_afG -> GHCBug.PVR a_afG -> GHC.Bool.Bool
218      []
219      ==_awI = ==_awD;
220      $dEq_awL :: GHC.Classes.Eq a_afG
221      []
222      $dEq_awL = $dEq_awA;
223      $dEq_awC :: GHC.Classes.Eq (GHCBug.PVR a_afG)
224      []
225      $dEq_awC = GHCBug.$f3 @ a_afG $dEq_awA; } in
226    ==_awD
227GHCBug.$f3 :: forall a_afG.
228              (GHC.Classes.Eq a_afG) =>
229              GHC.Classes.Eq (GHCBug.PVR a_afG)
230[Exported]
231[]
232GHCBug.$f3 =
233  __inline_me (\ (@ a_afG) ($dEq_awA :: GHC.Classes.Eq a_afG) ->
234                 letrec {
235                   $dEq_awB :: GHC.Classes.Eq (GHCBug.PVR a_afG)
236                   []
237                   $dEq_awB =
238                     GHC.Classes.:DEq
239                       @ (GHCBug.PVR a_afG)
240                       (==_awM @ a_afG $dEq_awA)
241                       (/=_awV @ a_afG $dEq_awA); } in
242                 $dEq_awB)
243GHCBug.analyseCore :: forall a_afL.
244                      GHCBug.Core a_afL -> GHCBug.AssocSyn a_afL a_afL
245[Exported]
246[]
247GHCBug.analyseCore =
248  \ (@ a_avV) ->
249    let {
250      analyseCore_avW :: GHCBug.Core a_avV -> GHCBug.AssocSyn a_avV a_avV
251      []
252      analyseCore_avW = GHCBug.analyseCore @ a_avV } in
253    \ (ds_dxN :: GHCBug.Core a_avV) ->
254      case ds_dxN of wild_B1 { GHCBug.Ctr @ $co$_awb ->
255      letrec {
256        pvr_awa :: GHCBug.AssocSyn GHC.Types.Double GHC.Types.Double
257        []
258        pvr_awa =
259          pvr_afN @ GHC.Types.Double @ (sym GHCBug.:CoF:R1AssocSyn); } in
260      letrec {
261        pvr_afN :: forall a_afP.
262                   (GHCBug.PVR ~ GHCBug.AssocSyn a_afP) =>
263                   GHCBug.AssocSyn a_afP a_afP
264        []
265        pvr_afN =
266          \ (@ a_avY) (@ $coPVR_aw5) ->
267            letrec {
268              pvr_avZ :: GHCBug.AssocSyn a_avY a_avY
269              []
270              pvr_avZ = GHC.Err.undefined @ (GHCBug.AssocSyn a_avY a_avY); } in
271            pvr_avZ; } in
272      pvr_awa
273      `cast` (trans
274                (trans
275                   (trans
276                      (GHCBug.AssocSyn GHC.Types.Double)
277                      (trans
278                         (GHCBug.AssocSyn (trans GHC.Types.Double (sym $co$_awb)))
279                         (trans
280                            (GHCBug.AssocSyn $co$_awb)
281                            (trans
282                               GHCBug.:CoF:R1AssocSyn
283                               (sym (trans (trans GHCBug.PVR GHCBug.PVR) GHCBug.PVR)))))
284                      GHC.Types.Double)
285                   (sym
286                      (trans
287                         GHCBug.PVR
288                         (sym
289                            (trans
290                               (trans GHCBug.PVR (trans GHCBug.PVR GHCBug.PVR)) GHCBug.PVR)))
291                      (trans GHC.Types.Double (sym $co$_awb))))
292                (sym
293                   (trans
294                      (GHCBug.AssocSyn a_avV)
295                      (trans
296                         (GHCBug.AssocSyn $co$_awb)
297                         (trans
298                            GHCBug.:CoF:R1AssocSyn
299                            (sym (trans (trans GHCBug.PVR GHCBug.PVR) GHCBug.PVR))))
300                      a_avV))
301              :: GHCBug.AssocSyn GHC.Types.Double GHC.Types.Double
302                   ~
303                 GHCBug.AssocSyn a_avV a_avV)
304      }
305GHCBug.main :: GHC.IOBase.IO ()
306[]
307GHCBug.main = print_avQ (GHC.Base.unpackCString# "ok")
308print_avQ :: [GHC.Types.Char] -> GHC.IOBase.IO ()
309[]
310print_avQ = System.IO.print @ [GHC.Types.Char] $dShow_avR
311main_av1 :: GHC.IOBase.IO ()
312[]
313main_av1 = GHCBug.main
314end Rec }
315
316*** End of Offense ***
317
318
319<no location info>:
320Compilation had errors
321
322
323*** Deleting temp files:
324Deleting: C:\TEMP\/ghc4960_2/ghc4960_0.s
325Warning: deleting non-existent C:\TEMP\/ghc4960_2/ghc4960_0.s
326*** Deleting temp dirs:
327Deleting: C:\TEMP\/ghc4960_2
328c:/ws/main/depot/QA/EDG/EDG_priv/FPF_Dev.br/src $