Ticket #5777: arrow-gadt-panic.txt

File arrow-gadt-panic.txt, 4.7 KB (added by benmos, 17 months ago)

Core Lint output

Line 
1~/MyDev/Test3/saturday-ghcbug $ /usr/bin/ghc-7.0.3 --make Test3.hs
2[1 of 1] Compiling Main             ( Test3.hs, Test3.o )
3ghc: panic! (the 'impossible' happened)
4  (GHC version 7.0.3 for i386-apple-darwin):
5        initC: srt_lbl
6
7Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
8
9~/MyDev/Test3/saturday-ghcbug $ /usr/local/bin/ghc-7.2.0.20110728 --make Test3.hs
10[1 of 1] Compiling Main             ( Test3.hs, Test3.o )
11ghc: panic! (the 'impossible' happened)
12  (GHC version 7.2.0.20110728 for x86_64-apple-darwin):
13        cgLookupPanic (probably invalid Core; try -dcore-lint)
14    $dArrow{v ame} [lid]
15    static binds for:
16    local binds for:
17    main:Main.arrif{v rdm} [gid[ClassOp]]
18    main:Main.$WBoolVal{v rg5} [gid[DataConWrapper]]
19
20Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
21
22~/MyDev/Test3/saturday-ghcbug $ ghc --make Test3.hs
23[1 of 1] Compiling Main             ( Test3.hs, Test3.o )
24ghc: panic! (the 'impossible' happened)
25  (GHC version 7.4.0.20111219 for x86_64-apple-darwin):
26        cgLookupPanic (probably invalid Core; try -dcore-lint)
27    ( $dArrow{v amu} [lid] :: base:Control.Arrow.Arrow{tc r4r}
28                                ghc-prim:GHC.Prim.(->){(w) tc 3D} )
29    static binds for:
30    local binds for:
31    ( main:Main.arrif{v rcc} [gid[ClassOp]] :: forall (( f{tv ace} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
32                                                                           -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) :: ghc-prim:GHC.Prim.*{(w) tc 34d}
33                                                                                                                   -> ghc-prim:GHC.Prim.*{(w) tc 34d}).
34                                               main:Main.ArrowInit{tc r2}
35                                                 ( f{tv ace} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
36                                                                     -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) =>
37                                               forall ( b{tv acf} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
38                                               ( f{tv ace} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
39                                                                   -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) ( b{tv acf} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} )
40                                               -> ghc-prim:GHC.Tuple.(){(w) tc 40} )
41    ( main:Main.$WBoolVal{v rf7} [gid[DataConWrapper]] :: main:Main.Value{tc r1}
42                                                            ghc-prim:GHC.Types.Bool{(w) tc 3c} )
43
44Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
45
46~/MyDev/Test3/saturday-ghcbug $ ghc --make Test3.hs -dcore-lint
47[1 of 1] Compiling Main             ( Test3.hs, Test3.o )
48*** Core Lint errors : in result of Desugar (after optimization) ***
49<no location info>:
50    In the expression: Control.Arrow.arr @ (->) $dArrow_aml
51    $dArrow_aml is out of scope
52<no location info>:
53    In the expression: GHC.Desugar.>>> @ (->) $dArrow_amu
54    $dArrow_amu is out of scope
55*** Offending Program ***
56Rec {
57$carrif_am5 :: forall b_acf. Main.Value b_acf -> ()
58[LclId]
59$carrif_am5 =
60  \ (@ b_am7) ->
61    let {
62      ds_dnq :: forall b_amj c_amk. (b_amj -> c_amk) -> b_amj -> c_amk
63      [LclId]
64      ds_dnq = Control.Arrow.arr @ (->) $dArrow_aml } in
65    let {
66      ds_dnr
67        :: forall a_amr b_ams c_amt.
68           (a_amr -> b_ams) -> (b_ams -> c_amt) -> a_amr -> c_amt
69      [LclId]
70      ds_dnr = GHC.Desugar.>>> @ (->) $dArrow_amu } in
71    ds_dnr
72      @ (Main.Value b_am7)
73      @ ()
74      @ ()
75      (ds_dnq
76         @ (Main.Value b_am7)
77         @ ()
78         (\ (ds_dnv :: Main.Value b_am7) ->
79            case ds_dnv of _ { Main.BoolVal rb_dnx -> GHC.Tuple.() }))
80      (ds_dnr
81         @ ()
82         @ ()
83         @ ()
84         (ds_dnq
85            @ ()
86            @ ()
87            (\ (ds_dnu :: ()) -> case ds_dnu of _ { () -> GHC.Tuple.() }))
88         (Control.Arrow.returnA @ (->) @ () Control.Arrow.$fArrow(->)))
89
90Main.$fArrowInitValue [InlPrag=INLINE (sat-args=0)]
91  :: Main.ArrowInit Main.Value
92[LclIdX[DFunId(nt)],
93 Unf=Unf{Src=InlineStable, TopLvl=True, Arity=0, Value=False,
94         ConLike=False, Cheap=False, Expandable=False,
95         Guidance=ALWAYS_IF(unsat_ok=False,boring_ok=False)
96         Tmpl= Main.D:ArrowInit @ Main.Value $carrif_am5}]
97Main.$fArrowInitValue = Main.D:ArrowInit @ Main.Value $carrif_am5
98
99Main.main :: GHC.Types.IO ()
100[LclIdX]
101Main.main =
102  System.IO.print
103    @ [GHC.Types.Char]
104    (GHC.Show.$fShow[] @ GHC.Types.Char GHC.Show.$fShowChar)
105    (GHC.CString.unpackCString# "hi")
106
107:Main.main :: GHC.Types.IO ()
108[LclIdX]
109:Main.main = GHC.TopHandler.runMainIO @ () Main.main
110end Rec }
111
112*** End of Offense ***
113
114
115<no location info>:
116Compilation had errors