61ce1ae439c0c739d23e7d3ba5ca8f727c61d437
[ghc.git] / testsuite / tests / parser / should_compile / DumpTypecheckedAst.stderr
1
2 ==================== Typechecker ====================
3 {Bag(Located (HsBind Var)): 
4 [
5  ({ <no location info> }
6   (VarBind {Var: (main:DumpTypecheckedAst.$tcPeano{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})} 
7    ({ <no location info> }
8     (HsApp 
9      ({ <no location info> }
10       (HsApp 
11        ({ <no location info> }
12         (HsApp 
13          ({ <no location info> }
14           (HsApp 
15            ({ <no location info> }
16             (HsApp 
17              ({ <no location info> }
18               (HsApp 
19                ({ <no location info> }
20                 (HsConLikeOut 
21                  ({abstract:ConLike}))) 
22                ({ <no location info> }
23                 (HsLit 
24                  (HsWordPrim 
25                   (NoSourceText) 
26                   (14073232900889011755)))))) 
27              ({ <no location info> }
28               (HsLit 
29                (HsWordPrim 
30                 (NoSourceText) 
31                 (2739668351064589274)))))) 
32            ({ <no location info> }
33             (HsVar 
34              ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})}))))) 
35          ({ <no location info> }
36           (HsPar 
37            ({ <no location info> }
38             (HsApp 
39              ({ <no location info> }
40               (HsConLikeOut 
41                ({abstract:ConLike}))) 
42              ({ <no location info> }
43               (HsLit 
44                (HsStringPrim 
45                 (NoSourceText) "Peano"))))))))) 
46        ({ <no location info> }
47         (HsLit 
48          (HsIntPrim 
49           (SourceText "0") 
50           (0)))))) 
51      ({ <no location info> }
52       (HsVar 
53        ({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}))))) 
54    (False))),
55  ({ <no location info> }
56   (VarBind {Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})} 
57    ({ <no location info> }
58     (HsApp 
59      ({ <no location info> }
60       (HsConLikeOut 
61        ({abstract:ConLike}))) 
62      ({ <no location info> }
63       (HsConLikeOut 
64        ({abstract:ConLike}))))) 
65    (False))),
66  ({ <no location info> }
67   (VarBind {Var: (main:DumpTypecheckedAst.$tc'Zero{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})} 
68    ({ <no location info> }
69     (HsApp 
70      ({ <no location info> }
71       (HsApp 
72        ({ <no location info> }
73         (HsApp 
74          ({ <no location info> }
75           (HsApp 
76            ({ <no location info> }
77             (HsApp 
78              ({ <no location info> }
79               (HsApp 
80                ({ <no location info> }
81                 (HsConLikeOut 
82                  ({abstract:ConLike}))) 
83                ({ <no location info> }
84                 (HsLit 
85                  (HsWordPrim 
86                   (NoSourceText) 
87                   (13760111476013868540)))))) 
88              ({ <no location info> }
89               (HsLit 
90                (HsWordPrim 
91                 (NoSourceText) 
92                 (12314848029315386153)))))) 
93            ({ <no location info> }
94             (HsVar 
95              ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})}))))) 
96          ({ <no location info> }
97           (HsPar 
98            ({ <no location info> }
99             (HsApp 
100              ({ <no location info> }
101               (HsConLikeOut 
102                ({abstract:ConLike}))) 
103              ({ <no location info> }
104               (HsLit 
105                (HsStringPrim 
106                 (NoSourceText) "'Zero"))))))))) 
107        ({ <no location info> }
108         (HsLit 
109          (HsIntPrim 
110           (SourceText "0") 
111           (0)))))) 
112      ({ <no location info> }
113       (HsVar 
114        ({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}))))) 
115    (False))),
116  ({ <no location info> }
117   (VarBind {Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})} 
118    ({ <no location info> }
119     (HsApp 
120      ({ <no location info> }
121       (HsApp 
122        ({ <no location info> }
123         (HsConLikeOut 
124          ({abstract:ConLike}))) 
125        ({ <no location info> }
126         (HsVar 
127          ({ <no location info> }{Var: (main:DumpTypecheckedAst.$tcPeano{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})}))))) 
128      ({ <no location info> }
129       (HsWrap 
130        (WpTyApp 
131         (TyConApp 
132          ({abstract:TyCon}) 
133          [])) 
134        (HsConLikeOut 
135         ({abstract:ConLike})))))) 
136    (False))),
137  ({ <no location info> }
138   (VarBind {Var: (main:DumpTypecheckedAst.$tc'Succ{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})} 
139    ({ <no location info> }
140     (HsApp 
141      ({ <no location info> }
142       (HsApp 
143        ({ <no location info> }
144         (HsApp 
145          ({ <no location info> }
146           (HsApp 
147            ({ <no location info> }
148             (HsApp 
149              ({ <no location info> }
150               (HsApp 
151                ({ <no location info> }
152                 (HsConLikeOut 
153                  ({abstract:ConLike}))) 
154                ({ <no location info> }
155                 (HsLit 
156                  (HsWordPrim 
157                   (NoSourceText) 
158                   (1143980031331647856)))))) 
159              ({ <no location info> }
160               (HsLit 
161                (HsWordPrim 
162                 (NoSourceText) 
163                 (14802086722010293686)))))) 
164            ({ <no location info> }
165             (HsVar 
166              ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})}))))) 
167          ({ <no location info> }
168           (HsPar 
169            ({ <no location info> }
170             (HsApp 
171              ({ <no location info> }
172               (HsConLikeOut 
173                ({abstract:ConLike}))) 
174              ({ <no location info> }
175               (HsLit 
176                (HsStringPrim 
177                 (NoSourceText) "'Succ"))))))))) 
178        ({ <no location info> }
179         (HsLit 
180          (HsIntPrim 
181           (SourceText "0") 
182           (0)))))) 
183      ({ <no location info> }
184       (HsVar 
185        ({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}))))) 
186    (False))),
187  ({ <no location info> }
188   (VarBind {Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})} 
189    ({ <no location info> }
190     (HsApp 
191      ({ <no location info> }
192       (HsApp 
193        ({ <no location info> }
194         (HsConLikeOut 
195          ({abstract:ConLike}))) 
196        ({ <no location info> }
197         (HsPar 
198          ({ <no location info> }
199           (HsApp 
200            ({ <no location info> }
201             (HsApp 
202              ({ <no location info> }
203               (HsConLikeOut 
204                ({abstract:ConLike}))) 
205              ({ <no location info> }
206               (HsVar 
207                ({ <no location info> }{Var: (main:DumpTypecheckedAst.$tcPeano{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})}))))) 
208            ({ <no location info> }
209             (HsWrap 
210              (WpTyApp 
211               (TyConApp 
212                ({abstract:TyCon}) 
213                [])) 
214              (HsConLikeOut 
215               ({abstract:ConLike})))))))))) 
216      ({ <no location info> }
217       (HsPar 
218        ({ <no location info> }
219         (HsApp 
220          ({ <no location info> }
221           (HsApp 
222            ({ <no location info> }
223             (HsConLikeOut 
224              ({abstract:ConLike}))) 
225            ({ <no location info> }
226             (HsVar 
227              ({ <no location info> }{Var: (main:DumpTypecheckedAst.$tcPeano{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})}))))) 
228          ({ <no location info> }
229           (HsWrap 
230            (WpTyApp 
231             (TyConApp 
232              ({abstract:TyCon}) 
233              [])) 
234            (HsConLikeOut 
235             ({abstract:ConLike})))))))))) 
236    (False))),
237  ({ <no location info> }
238   (VarBind {Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})} 
239    ({ <no location info> }
240     (HsApp 
241      ({ <no location info> }
242       (HsApp 
243        ({ <no location info> }
244         (HsConLikeOut 
245          ({abstract:ConLike}))) 
246        ({ <no location info> }
247         (HsPar 
248          ({ <no location info> }
249           (HsApp 
250            ({ <no location info> }
251             (HsConLikeOut 
252              ({abstract:ConLike}))) 
253            ({ <no location info> }
254             (HsLit 
255              (HsStringPrim 
256               (NoSourceText) "main"))))))))) 
257      ({ <no location info> }
258       (HsPar 
259        ({ <no location info> }
260         (HsApp 
261          ({ <no location info> }
262           (HsConLikeOut 
263            ({abstract:ConLike}))) 
264          ({ <no location info> }
265           (HsLit 
266            (HsStringPrim 
267             (NoSourceText) "DumpTypecheckedAst"))))))))) 
268    (False))),
269  ({ DumpTypecheckedAst.hs:11:1-23 }
270   (AbsBinds 
271    [] 
272    [] 
273    [
274     (ABE {Var: (main:DumpTypecheckedAst.main{v} [lid] :: ghc-prim:GHC.Types.IO{tc}
275                                             ())} {Var: (main{v} [lid] :: ghc-prim:GHC.Types.IO{tc} ())} 
276      (WpHole) 
277      (SpecPrags 
278       []))] 
279    [
280     ({abstract:TcEvBinds})] {Bag(Located (HsBind Var)): 
281    [
282     ({ DumpTypecheckedAst.hs:11:1-23 }
283      (FunBind 
284       ({ DumpTypecheckedAst.hs:11:1-4 }{Var: (main{v} [lid] :: ghc-prim:GHC.Types.IO{tc} ())}) 
285       (MG 
286        ({ DumpTypecheckedAst.hs:11:1-23 }
287         [
288          ({ DumpTypecheckedAst.hs:11:1-23 }
289           (Match 
290            (FunRhs 
291             ({ DumpTypecheckedAst.hs:11:1-4 }{Name: main:DumpTypecheckedAst.main{v}}) 
292             (Prefix)) 
293            [] 
294            (Nothing) 
295            (GRHSs 
296             [
297              ({ DumpTypecheckedAst.hs:11:6-23 }
298               (GRHS 
299                [] 
300                ({ DumpTypecheckedAst.hs:11:8-23 }
301                 (HsApp 
302                  ({ DumpTypecheckedAst.hs:11:8-15 }
303                   (HsVar 
304                    ({ <no location info> }{Var: (base:System.IO.putStrLn{v} [gid] :: base:GHC.Base.String{tc}
305                                      -> ghc-prim:GHC.Types.IO{tc} ())}))) 
306                  ({ DumpTypecheckedAst.hs:11:17-23 }
307                   (HsLit 
308                    (HsString 
309                     (SourceText "\"hello\"") {FastString: "hello"})))))))] 
310             ({ <no location info> }
311              (EmptyLocalBinds)))))]) 
312        [] 
313        (TyConApp 
314         ({abstract:TyCon}) 
315         [
316          (TyConApp 
317           ({abstract:TyCon}) 
318           [])]) 
319        (FromSource)) 
320       (WpHole) {NameSet: 
321       []} 
322       []))]}))]}
323