Ticket #4229: tmp

File tmp, 6.8 KB (added by lilac, 4 years ago)

STG lint failure

Line 
1case GHC.Base.eqString GHC.Types.[] GHC.Types.[] of wild {
2  GHC.Bool.False ->
3      let {
4        sat_sLN =
5            \r srt:SRT:[] [s eta]
6                let { sat_sLM = NO_CCS (,)! [GHC.Unit.() s];
7                } in  (#,#) [eta sat_sLM];
8      } in  sat_sLN;
9  GHC.Bool.True ->
10      let {
11        sat_sLO =
12            \r srt:SRT:[(rk, Test.HUnit.Lang.assertFailure)] [eta eta1 eta2]
13                Test.HUnit.Lang.assertFailure Main.explode_x;
14      } in  sat_sLO;
15}
16ghc: panic! (the 'impossible' happened)
17  (GHC version 6.12.1 for x86_64-unknown-linux):
18            *** Stg Lint ErrMsgs: in Stg2Stg ***
19    <no location info>:
20         [in body of lambda with binders x{v sLk} [lid] :: mtl-1.1.0.2:Control.Monad.State.Strict.StateT{tc rn}
21                                                             ghc-prim:GHC.Unit.(){(w) tc 40}
22                                                             <nt>ghc-prim:GHC.Types.IO{tc 32I}
23                                                             a{tv alv} [sk],
24                                         eta{v sLj} [lid] :: ghc-prim:GHC.Prim.State#{(w) tc 32q}
25                                                               ghc-prim:GHC.Prim.RealWorld{(w) tc 31E}]
26        In a function application, function type doesn't match arg types:
27        Function type:
28            mtl-1.1.0.2:Control.Monad.State.Strict.StateT{tc rn}
29              ghc-prim:GHC.Unit.(){(w) tc 40}
30              <nt>ghc-prim:GHC.Types.IO{tc 32I}
31              a{tv alv} [sk]
32        Arg types:
33            ghc-prim:GHC.Unit.(){(w) tc 40}
34            ghc-prim:GHC.Prim.State#{(w) tc 32q}
35              ghc-prim:GHC.Prim.RealWorld{(w) tc 31E}
36        Expression:
37            x{v sLk} [lid]
38                ghc-prim:GHC.Unit.(){(w) v 71} [gid[DataCon]] eta{v sLj} [lid]
39    *** Offending Program ***
40    main:Main.main4{v r8} [gid] =
41        [] \r srt:SRT:[] [x{v sLk} [lid] eta{v sLj} [lid]]
42            case
43                x{v sLk} [lid]
44                    ghc-prim:GHC.Unit.(){(w) v 71} [gid[DataCon]]
45                    eta{v sLj} [lid] :: UbxTup ghc-prim:GHC.Prim.(#,#){(w) tc 56}
46            of
47            wild{v sLI} [lid]
48            {   -- lvs: [eta{v sLj} [lid]
49                         x{v sLk} [lid]]; rhs lvs: []; srt:SRT:[]
50              ghc-prim:GHC.Prim.(#,#){(w) d 84} new_s{v sLs} [lid]
51                                                a{v sLo} [lid] ->
52                  case
53                      a{v sLo} [lid] :: Alg ghc-prim:GHC.Tuple.(,){(w) tc 46}
54                  of
55                  wild1{v sLJ} [lid]
56                  {   -- lvs: [a{v sLo} [lid]
57                               new_s{v sLs} [lid]]; rhs lvs: [new_s{v sLs} [lid]]; srt:SRT:[]
58                    ghc-prim:GHC.Tuple.(,){(w) d 74} a1{v sLt} [lid]
59                                                     ds1{v sLK} [lid] ->
60                        ghc-prim:GHC.Prim.(#,#){(w) d 84} [new_s{v sLs} [lid]
61                                                           a1{v sLt} [lid]];
62                  };
63            };
64    main:Main.runMyTest{v rgG} [gid] =
65        [] \r srt:SRT:[] [eta_B2{v} [lid] eta_B1{v} [lid]]
66            main:Main.main4{v r8} [gid] eta_B2{v} [lid] eta_B1{v} [lid];
67    main:Main.explode1{v rg} [gid] =
68        NO_CCS ghc-prim:GHC.Types.C#{(w) d 62}! ['X'];
69    main:Main.explode_x{v rj} [gid] =
70        NO_CCS ghc-prim:GHC.Types.:{(w) d 64}! [main:Main.explode1{v rg} [gid]
71                                                ghc-prim:GHC.Types.[]{(w) v 6n} [gid[DataCon]]];
72    main:Main.explode{v r7} [gid] =
73        [] \u srt:SRT:[(rk,
74                        HUnit-1.2.2.1:Test.HUnit.Lang.assertFailure{v rk} [gid])] []
75            case
76                base:GHC.Base.eqString{v 0h} [gid]
77                    ghc-prim:GHC.Types.[]{(w) v 6n} [gid[DataCon]]
78                    ghc-prim:GHC.Types.[]{(w) v 6n} [gid[DataCon]] :: Alg ghc-prim:GHC.Bool.Bool{(w) tc 3c}
79            of
80            wild{v sLL} [lid]
81            {   -- lvs: []; rhs lvs: []; srt:SRT:[(rk,
82                                                   HUnit-1.2.2.1:Test.HUnit.Lang.assertFailure{v rk} [gid])]
83              ghc-prim:GHC.Bool.False{(w) d 68} ->
84                  let {
85                    sat_sLN{v} [lid] =
86                        [] \r srt:SRT:[] [s{v sLy} [lid] eta{v sLx} [lid]]
87                            let {
88                              sat_sLM{v} [lid] =
89                                  NO_CCS ghc-prim:GHC.Tuple.(,){(w) d 74}! [ghc-prim:GHC.Unit.(){(w) v 71} [gid[DataCon]]
90                                                                            s{v sLy} [lid]];
91                            } in
92                              ghc-prim:GHC.Prim.(#,#){(w) d 84} [eta{v sLx} [lid]
93                                                                 sat_sLM{v} [lid]];
94                  } in  sat_sLN{v} [lid];
95              ghc-prim:GHC.Bool.True{(w) d 6u} ->
96                  let {
97                    sat_sLO{v} [lid] =
98                        [] \r srt:SRT:[(rk,
99                                        HUnit-1.2.2.1:Test.HUnit.Lang.assertFailure{v rk} [gid])] [eta{v sLE} [lid]
100                                                                                                   eta1{v sLF} [lid]
101                                                                                                   eta2{v sLG} [lid]]
102                            HUnit-1.2.2.1:Test.HUnit.Lang.assertFailure{v rk} [gid]
103                                main:Main.explode_x{v rj} [gid];
104                  } in  sat_sLO{v} [lid];
105            };
106    main:Main.main3{v r9} [gid] =
107        [] \r srt:SRT:[(r7,
108                        main:Main.explode{v r7} [gid])] [eta_B1{v} [lid]]
109            main:Main.main4{v r8} [gid]
110                main:Main.explode{v r7} [gid] eta_B1{v} [lid];
111    main:Main.main2{v rc} [gid] =
112        NO_CCS HUnit-1.2.2.1:Test.HUnit.Base.TestCase{d r5Z}! [main:Main.main3{v r9} [gid]];
113    main:Main.main1{v re} [gid] =
114        [] \r srt:SRT:[(rc, main:Main.main2{v rc} [gid]),
115                       (rd,
116                        HUnit-1.2.2.1:Test.HUnit.Text.runTestTT1{v rd} [gid])] [eta_B1{v} [lid]]
117            HUnit-1.2.2.1:Test.HUnit.Text.runTestTT1{v rd} [gid]
118                main:Main.main2{v rc} [gid] eta_B1{v} [lid];
119    main:Main.main{v rgI} [gid] =
120        [] \r srt:SRT:[(re, main:Main.main1{v re} [gid])] [eta_B1{v} [lid]]
121            main:Main.main1{v re} [gid] eta_B1{v} [lid];
122    main:Main.main5{v rLg} [gid] =
123        [] \r srt:SRT:[(r6, base:GHC.TopHandler.runMainIO1{v r6} [gid]),
124                       (re, main:Main.main1{v re} [gid])] [eta_B1{v} [lid]]
125            base:GHC.TopHandler.runMainIO1{v r6} [gid]
126                main:Main.main1{v re} [gid] eta_B1{v} [lid];
127    main::Main.main{v 0T} [gid] =
128        [] \r srt:SRT:[(rLg,
129                        main:Main.main5{v rLg} [gid])] [eta_B1{v} [lid]]
130            main:Main.main5{v rLg} [gid] eta_B1{v} [lid];
131    *** End of Offense ***