Ticket #5929: warnings.log

File warnings.log, 17.0 KB (added by passalaqua, 3 years ago)

Copy of the output that is generated by GHC

Line 
1$ /opt/ghc/7.4/bin/ghc --version
2The Glorious Glasgow Haskell Compilation System, version 7.4.1
3$ /opt/ghc/7.4/bin/ghc --make -O TypeCheck.hs
4[1 of 1] Compiling TypeCheck        ( TypeCheck.hs, TypeCheck.o )
5Exciting arity
6    ( main:TypeCheck.sem_Diag_{v raj} [lidx] :: main:TypeCheck.Diag_{tc r9O}
7                                                -> main:TypeCheck.T_Diag_{tc r9N} ) 2 1
8    \ (( ds_drn{v} [lid] :: main:TypeCheck.Diag_{tc r9O} )
9         :: main:TypeCheck.Diag_{tc r9O}) ->
10      case ( ds_drn{v} [lid] :: main:TypeCheck.Diag_{tc r9O} ) {main:TypeCheck.SourcePos{tc raf}
11                                                                -> (main:TypeCheck.Ty{tc ra8},
12                                                                    [main:TypeCheck.TyError{tc ra6}])}
13      of (( wild_XB{v} [lid] :: main:TypeCheck.Diag_{tc r9O} ) [Occ=Dead,
14                                                                Dmd=Just A]
15            :: main:TypeCheck.Diag_{tc r9O}) {
16        main:TypeCheck.Compile{d r9U} (( _d1{v aaA} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Dmd=Just D(LL)]
17                                         :: main:TypeCheck.Diag{tc ra3})
18                                      (( _d2{v aaB} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Dmd=Just A]
19                                         :: main:TypeCheck.Diag{tc ra3}) ->
20          let {
21            ( a_sxB{v} [lid] :: [main:TypeCheck.TyError{tc ra6}] )
22              :: [main:TypeCheck.TyError{tc ra6}]
23            [LclId,
24             Unf=Unf{Src=<vanilla>, TopLvl=False, Arity=0, Value=False,
25                     ConLike=False, Cheap=False, Expandable=False,
26                     Guidance=IF_ARGS [] 60 10}]
27            ( a_sxB{v} [lid] :: [main:TypeCheck.TyError{tc ra6}] ) =
28              case ( _d1{v aaA} [lid] :: main:TypeCheck.Diag{tc ra3} )
29              {[main:TypeCheck.TyError{tc ra6}]}
30              of (( w_XwE{v} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Occ=Dead]
31                    :: main:TypeCheck.Diag{tc ra3})
32              { main:TypeCheck.Diag{d ra4} (( ww_swE{v} [lid] :: main:TypeCheck.SourcePos{tc raf} )
33                                              :: main:TypeCheck.SourcePos{tc raf})
34                                           (( ww_swF{v} [lid] :: main:TypeCheck.Diag_{tc r9O} )
35                                              :: main:TypeCheck.Diag_{tc r9O}) ->
36              case ( main:TypeCheck.sem_Diag_{v raj} [lidx] :: main:TypeCheck.Diag_{tc r9O}
37                                                               -> main:TypeCheck.T_Diag_{tc r9N} )
38                     ( ww_swF{v} [lid] :: main:TypeCheck.Diag_{tc r9O} )
39                     ( ww_swE{v} [lid] :: main:TypeCheck.SourcePos{tc raf} )
40              {[main:TypeCheck.TyError{tc ra6}]}
41              of (( wild_XH{v} [lid] :: (main:TypeCheck.Ty{tc ra8},
42                                         [main:TypeCheck.TyError{tc ra6}]) ) [Occ=Dead, Dmd=Just A]
43                    :: (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]))
44              { ((( _dIty{v XqF} [lid] :: main:TypeCheck.Ty{tc ra8} ) [Dmd=Just S]
45                    :: main:TypeCheck.Ty{tc ra8}), (( _dItyErrs{v Xqb} [lid] :: [main:TypeCheck.TyError{tc ra6}] ) [Occ=Dead,
46                                                                                                                    Dmd=Just A]
47                                                      :: [main:TypeCheck.TyError{tc ra6}])) ->
48              case ( _dIty{v XqF} [lid] :: main:TypeCheck.Ty{tc ra8} )
49              {[main:TypeCheck.TyError{tc ra6}]}
50              of (( wild_X21{v} [lid] :: main:TypeCheck.Ty{tc ra8} ) [Occ=Dead,
51                                                                      Dmd=Just A]
52                    :: main:TypeCheck.Ty{tc ra8})
53              { __DEFAULT ->
54              ( ghc-prim:GHC.Types.[]{(w) v 6n} [gid[DataCon]] :: forall ( a{tv 12} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
55                                                                  [( a{tv 12} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} )] )
56                @ main:TypeCheck.TyError{tc ra6}
57              }
58              }
59              } } in
60          let {
61            ( lvl_sxx{v} [lid] :: (main:TypeCheck.Ty{tc ra8},
62                                   [main:TypeCheck.TyError{tc ra6}]) )
63              :: (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}])
64            [LclId,
65             Unf=Unf{Src=<vanilla>, TopLvl=False, Arity=0, Value=True,
66                     ConLike=True, Cheap=True, Expandable=True,
67                     Guidance=IF_ARGS [] 10 120}]
68            ( lvl_sxx{v} [lid] :: (main:TypeCheck.Ty{tc ra8},
69                                   [main:TypeCheck.TyError{tc ra6}]) ) =
70              (( main:TypeCheck.TyCompile{v rbF} [gid[DataCon]] :: main:TypeCheck.Ty{tc ra8} ),
71               ( a_sxB{v} [lid] :: [main:TypeCheck.TyError{tc ra6}] )) } in
72          \ (( _lhsIpos{v aaQ} [lid] :: main:TypeCheck.SourcePos{tc raf} ) [Occ=Dead,
73                                                                            Dmd=Just A]
74               :: main:TypeCheck.SourcePos{tc raf}) ->
75            ( lvl_sxx{v} [lid] :: (main:TypeCheck.Ty{tc ra8},
76                                   [main:TypeCheck.TyError{tc ra6}]) );
77        main:TypeCheck.Compiler{d r9T} (( _c{v aaC} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
78                                          :: main:TypeCheck.Ident{tc ra5})
79                                       (( _l1{v aaD} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
80                                          :: main:TypeCheck.Ident{tc ra5})
81                                       (( _l2{v aaE} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
82                                          :: main:TypeCheck.Ident{tc ra5})
83                                       (( _m{v aaF} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
84                                          :: main:TypeCheck.Ident{tc ra5}) ->
85          ( lvl_sxt{v} [lid] :: main:TypeCheck.SourcePos{tc raf}
86                                -> (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]) );
87        main:TypeCheck.Execute{d r9S} (( _d1{v aaG} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Dmd=Just B]
88                                         :: main:TypeCheck.Diag{tc ra3})
89                                      (( _d2{v aaH} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Dmd=Just B]
90                                         :: main:TypeCheck.Diag{tc ra3}) ->
91          ( base:GHC.Err.undefined{v r2m} [gid] :: forall ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
92                                                   ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ) )
93          `cast` (UnsafeCo
94                    (forall ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
95                     ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ))
96                    main:TypeCheck.T_Diag_{tc r9N}
97                  :: (forall ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
98                      ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ))
99                       ~#
100                     main:TypeCheck.T_Diag_{tc r9N});
101        main:TypeCheck.Interpreter{d r9R} (( _i{v aaI} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
102                                             :: main:TypeCheck.Ident{tc ra5})
103                                          (( _l{v aaJ} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
104                                             :: main:TypeCheck.Ident{tc ra5})
105                                          (( _m{v aaK} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
106                                             :: main:TypeCheck.Ident{tc ra5}) ->
107          ( lvl_sxw{v} [lid] :: main:TypeCheck.SourcePos{tc raf}
108                                -> (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]) );
109        main:TypeCheck.Platform{d r9Q} (( _m{v aaL} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
110                                          :: main:TypeCheck.Ident{tc ra5}) ->
111          ( lvl_sxv{v} [lid] :: main:TypeCheck.SourcePos{tc raf}
112                                -> (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]) );
113        main:TypeCheck.Program{d r9P} (( _p{v aaM} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
114                                         :: main:TypeCheck.Ident{tc ra5})
115                                      (( _l{v aaN} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
116                                         :: main:TypeCheck.Ident{tc ra5}) ->
117          ( lvl_sxu{v} [lid] :: main:TypeCheck.SourcePos{tc raf}
118                                -> (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]) )
119      }
120Exciting arity
121    ( main:TypeCheck.sem_Diag_{v raj} [lidx] :: main:TypeCheck.Diag_{tc r9O}
122                                                -> main:TypeCheck.T_Diag_{tc r9N} ) 2 1
123    \ (( ds_drn{v} [lid] :: main:TypeCheck.Diag_{tc r9O} )
124         :: main:TypeCheck.Diag_{tc r9O}) ->
125      case ( ds_drn{v} [lid] :: main:TypeCheck.Diag_{tc r9O} ) {main:TypeCheck.SourcePos{tc raf}
126                                                                -> (main:TypeCheck.Ty{tc ra8},
127                                                                    [main:TypeCheck.TyError{tc ra6}])}
128      of (( wild_XB{v} [lid] :: main:TypeCheck.Diag_{tc r9O} ) [Occ=Dead,
129                                                                Dmd=Just A]
130            :: main:TypeCheck.Diag_{tc r9O}) {
131        main:TypeCheck.Compile{d r9U} (( _d1{v aaA} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Dmd=Just D(LL)]
132                                         :: main:TypeCheck.Diag{tc ra3})
133                                      (( _d2{v aaB} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Dmd=Just A]
134                                         :: main:TypeCheck.Diag{tc ra3}) ->
135          let {
136            ( a_sxB{v} [lid] :: [main:TypeCheck.TyError{tc ra6}] )
137              :: [main:TypeCheck.TyError{tc ra6}]
138            [LclId,
139             Unf=Unf{Src=<vanilla>, TopLvl=False, Arity=0, Value=False,
140                     ConLike=False, Cheap=False, Expandable=False,
141                     Guidance=IF_ARGS [] 60 10}]
142            ( a_sxB{v} [lid] :: [main:TypeCheck.TyError{tc ra6}] ) =
143              case ( _d1{v aaA} [lid] :: main:TypeCheck.Diag{tc ra3} )
144              {[main:TypeCheck.TyError{tc ra6}]}
145              of (( w_XwE{v} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Occ=Dead]
146                    :: main:TypeCheck.Diag{tc ra3})
147              { main:TypeCheck.Diag{d ra4} (( ww_swE{v} [lid] :: main:TypeCheck.SourcePos{tc raf} )
148                                              :: main:TypeCheck.SourcePos{tc raf})
149                                           (( ww_swF{v} [lid] :: main:TypeCheck.Diag_{tc r9O} )
150                                              :: main:TypeCheck.Diag_{tc r9O}) ->
151              case ( main:TypeCheck.sem_Diag_{v raj} [lidx] :: main:TypeCheck.Diag_{tc r9O}
152                                                               -> main:TypeCheck.T_Diag_{tc r9N} )
153                     ( ww_swF{v} [lid] :: main:TypeCheck.Diag_{tc r9O} )
154                     ( ww_swE{v} [lid] :: main:TypeCheck.SourcePos{tc raf} )
155              {[main:TypeCheck.TyError{tc ra6}]}
156              of (( wild_XH{v} [lid] :: (main:TypeCheck.Ty{tc ra8},
157                                         [main:TypeCheck.TyError{tc ra6}]) ) [Occ=Dead, Dmd=Just A]
158                    :: (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]))
159              { ((( _dIty{v XqF} [lid] :: main:TypeCheck.Ty{tc ra8} ) [Dmd=Just S]
160                    :: main:TypeCheck.Ty{tc ra8}), (( _dItyErrs{v Xqb} [lid] :: [main:TypeCheck.TyError{tc ra6}] ) [Occ=Dead,
161                                                                                                                    Dmd=Just A]
162                                                      :: [main:TypeCheck.TyError{tc ra6}])) ->
163              case ( _dIty{v XqF} [lid] :: main:TypeCheck.Ty{tc ra8} )
164              {[main:TypeCheck.TyError{tc ra6}]}
165              of (( wild_X21{v} [lid] :: main:TypeCheck.Ty{tc ra8} ) [Occ=Dead,
166                                                                      Dmd=Just A]
167                    :: main:TypeCheck.Ty{tc ra8})
168              { __DEFAULT ->
169              ( ghc-prim:GHC.Types.[]{(w) v 6n} [gid[DataCon]] :: forall ( a{tv 12} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
170                                                                  [( a{tv 12} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} )] )
171                @ main:TypeCheck.TyError{tc ra6}
172              }
173              }
174              } } in
175          let {
176            ( lvl_sxx{v} [lid] :: (main:TypeCheck.Ty{tc ra8},
177                                   [main:TypeCheck.TyError{tc ra6}]) )
178              :: (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}])
179            [LclId,
180             Unf=Unf{Src=<vanilla>, TopLvl=False, Arity=0, Value=True,
181                     ConLike=True, Cheap=True, Expandable=True,
182                     Guidance=IF_ARGS [] 10 120}]
183            ( lvl_sxx{v} [lid] :: (main:TypeCheck.Ty{tc ra8},
184                                   [main:TypeCheck.TyError{tc ra6}]) ) =
185              (( main:TypeCheck.TyCompile{v rbF} [gid[DataCon]] :: main:TypeCheck.Ty{tc ra8} ),
186               ( a_sxB{v} [lid] :: [main:TypeCheck.TyError{tc ra6}] )) } in
187          \ (( _lhsIpos{v aaQ} [lid] :: main:TypeCheck.SourcePos{tc raf} ) [Occ=Dead,
188                                                                            Dmd=Just A]
189               :: main:TypeCheck.SourcePos{tc raf}) ->
190            ( lvl_sxx{v} [lid] :: (main:TypeCheck.Ty{tc ra8},
191                                   [main:TypeCheck.TyError{tc ra6}]) );
192        main:TypeCheck.Compiler{d r9T} (( _c{v aaC} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
193                                          :: main:TypeCheck.Ident{tc ra5})
194                                       (( _l1{v aaD} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
195                                          :: main:TypeCheck.Ident{tc ra5})
196                                       (( _l2{v aaE} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
197                                          :: main:TypeCheck.Ident{tc ra5})
198                                       (( _m{v aaF} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
199                                          :: main:TypeCheck.Ident{tc ra5}) ->
200          ( lvl_sxt{v} [lid] :: main:TypeCheck.SourcePos{tc raf}
201                                -> (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]) );
202        main:TypeCheck.Execute{d r9S} (( _d1{v aaG} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Dmd=Just B]
203                                         :: main:TypeCheck.Diag{tc ra3})
204                                      (( _d2{v aaH} [lid] :: main:TypeCheck.Diag{tc ra3} ) [Dmd=Just B]
205                                         :: main:TypeCheck.Diag{tc ra3}) ->
206          ( base:GHC.Err.undefined{v r2m} [gid] :: forall ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
207                                                   ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ) )
208          `cast` (UnsafeCo
209                    (forall ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
210                     ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ))
211                    main:TypeCheck.T_Diag_{tc r9N}
212                  :: (forall ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
213                      ( a{tv apC} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ))
214                       ~#
215                     main:TypeCheck.T_Diag_{tc r9N});
216        main:TypeCheck.Interpreter{d r9R} (( _i{v aaI} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
217                                             :: main:TypeCheck.Ident{tc ra5})
218                                          (( _l{v aaJ} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
219                                             :: main:TypeCheck.Ident{tc ra5})
220                                          (( _m{v aaK} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
221                                             :: main:TypeCheck.Ident{tc ra5}) ->
222          ( lvl_sxw{v} [lid] :: main:TypeCheck.SourcePos{tc raf}
223                                -> (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]) );
224        main:TypeCheck.Platform{d r9Q} (( _m{v aaL} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
225                                          :: main:TypeCheck.Ident{tc ra5}) ->
226          ( lvl_sxv{v} [lid] :: main:TypeCheck.SourcePos{tc raf}
227                                -> (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]) );
228        main:TypeCheck.Program{d r9P} (( _p{v aaM} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
229                                         :: main:TypeCheck.Ident{tc ra5})
230                                      (( _l{v aaN} [lid] :: main:TypeCheck.Ident{tc ra5} ) [Dmd=Just A]
231                                         :: main:TypeCheck.Ident{tc ra5}) ->
232          ( lvl_sxu{v} [lid] :: main:TypeCheck.SourcePos{tc raf}
233                                -> (main:TypeCheck.Ty{tc ra8}, [main:TypeCheck.TyError{tc ra6}]) )
234      }