Treat banged bindings as FunBinds
[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                  {HsWord{64}Prim 
25                  (14073232900889011755) 
26                  (NoSourceText)})))) 
27              ({ <no location info> }
28               (HsLit 
29                {HsWord{64}Prim 
30                (2739668351064589274) 
31                (NoSourceText)})))) 
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          {HsInt{64}Prim 
49          (0) 
50          (SourceText "0")})))) 
51      ({ <no location info> }
52       (HsVar 
53        ({ <no location info> }{Var: (ghc-prim:GHC.Types.krep$*{v} [gid] :: ghc-prim:GHC.Types.KindRep{tc})}))))) 
54    (False))),
55  ({ <no location info> }
56   (VarBind {Var: (main:DumpTypecheckedAst.$tc'Zero{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})} 
57    ({ <no location info> }
58     (HsApp 
59      ({ <no location info> }
60       (HsApp 
61        ({ <no location info> }
62         (HsApp 
63          ({ <no location info> }
64           (HsApp 
65            ({ <no location info> }
66             (HsApp 
67              ({ <no location info> }
68               (HsApp 
69                ({ <no location info> }
70                 (HsConLikeOut 
71                  ({abstract:ConLike}))) 
72                ({ <no location info> }
73                 (HsLit 
74                  {HsWord{64}Prim 
75                  (13760111476013868540) 
76                  (NoSourceText)})))) 
77              ({ <no location info> }
78               (HsLit 
79                {HsWord{64}Prim 
80                (12314848029315386153) 
81                (NoSourceText)})))) 
82            ({ <no location info> }
83             (HsVar 
84              ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})}))))) 
85          ({ <no location info> }
86           (HsPar 
87            ({ <no location info> }
88             (HsApp 
89              ({ <no location info> }
90               (HsConLikeOut 
91                ({abstract:ConLike}))) 
92              ({ <no location info> }
93               (HsLit 
94                (HsStringPrim 
95                 (NoSourceText) "'Zero"))))))))) 
96        ({ <no location info> }
97         (HsLit 
98          {HsInt{64}Prim 
99          (0) 
100          (SourceText "0")})))) 
101      ({ <no location info> }
102       (HsVar 
103        ({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}))))) 
104    (False))),
105  ({ <no location info> }
106   (VarBind {Var: (main:DumpTypecheckedAst.$tc'Succ{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})} 
107    ({ <no location info> }
108     (HsApp 
109      ({ <no location info> }
110       (HsApp 
111        ({ <no location info> }
112         (HsApp 
113          ({ <no location info> }
114           (HsApp 
115            ({ <no location info> }
116             (HsApp 
117              ({ <no location info> }
118               (HsApp 
119                ({ <no location info> }
120                 (HsConLikeOut 
121                  ({abstract:ConLike}))) 
122                ({ <no location info> }
123                 (HsLit 
124                  {HsWord{64}Prim 
125                  (1143980031331647856) 
126                  (NoSourceText)})))) 
127              ({ <no location info> }
128               (HsLit 
129                {HsWord{64}Prim 
130                (14802086722010293686) 
131                (NoSourceText)})))) 
132            ({ <no location info> }
133             (HsVar 
134              ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})}))))) 
135          ({ <no location info> }
136           (HsPar 
137            ({ <no location info> }
138             (HsApp 
139              ({ <no location info> }
140               (HsConLikeOut 
141                ({abstract:ConLike}))) 
142              ({ <no location info> }
143               (HsLit 
144                (HsStringPrim 
145                 (NoSourceText) "'Succ"))))))))) 
146        ({ <no location info> }
147         (HsLit 
148          {HsInt{64}Prim 
149          (0) 
150          (SourceText "0")})))) 
151      ({ <no location info> }
152       (HsVar 
153        ({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}))))) 
154    (False))),
155  ({ <no location info> }
156   (VarBind {Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})} 
157    ({ <no location info> }
158     (HsApp 
159      ({ <no location info> }
160       (HsApp 
161        ({ <no location info> }
162         (HsConLikeOut 
163          ({abstract:ConLike}))) 
164        ({ <no location info> }
165         (HsVar 
166          ({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}))))) 
167      ({ <no location info> }
168       (HsVar 
169        ({ <no location info> }{Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})}))))) 
170    (False))),
171  ({ <no location info> }
172   (VarBind {Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})} 
173    ({ <no location info> }
174     (HsApp 
175      ({ <no location info> }
176       (HsApp 
177        ({ <no location info> }
178         (HsConLikeOut 
179          ({abstract:ConLike}))) 
180        ({ <no location info> }
181         (HsVar 
182          ({ <no location info> }{Var: (main:DumpTypecheckedAst.$tcPeano{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})}))))) 
183      ({ <no location info> }
184       (HsWrap 
185        (WpTyApp 
186         (TyConApp 
187          ({abstract:TyCon}) 
188          [])) 
189        (HsConLikeOut 
190         ({abstract:ConLike})))))) 
191    (False))),
192  ({ <no location info> }
193   (VarBind {Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})} 
194    ({ <no location info> }
195     (HsApp 
196      ({ <no location info> }
197       (HsApp 
198        ({ <no location info> }
199         (HsConLikeOut 
200          ({abstract:ConLike}))) 
201        ({ <no location info> }
202         (HsPar 
203          ({ <no location info> }
204           (HsApp 
205            ({ <no location info> }
206             (HsConLikeOut 
207              ({abstract:ConLike}))) 
208            ({ <no location info> }
209             (HsLit 
210              (HsStringPrim 
211               (NoSourceText) "main"))))))))) 
212      ({ <no location info> }
213       (HsPar 
214        ({ <no location info> }
215         (HsApp 
216          ({ <no location info> }
217           (HsConLikeOut 
218            ({abstract:ConLike}))) 
219          ({ <no location info> }
220           (HsLit 
221            (HsStringPrim 
222             (NoSourceText) "DumpTypecheckedAst"))))))))) 
223    (False))),
224  ({ DumpTypecheckedAst.hs:11:1-23 }
225   (AbsBinds 
226    [] 
227    [] 
228    [
229     (ABE {Var: (main:DumpTypecheckedAst.main{v} [lid] :: ghc-prim:GHC.Types.IO{tc}
230                                             ())} {Var: (main{v} [lid] :: ghc-prim:GHC.Types.IO{tc} ())} 
231      (WpHole) 
232      (SpecPrags 
233       []))] 
234    [
235     ({abstract:TcEvBinds})] {Bag(Located (HsBind Var)): 
236    [
237     ({ DumpTypecheckedAst.hs:11:1-23 }
238      (FunBind 
239       ({ DumpTypecheckedAst.hs:11:1-4 }{Var: (main{v} [lid] :: ghc-prim:GHC.Types.IO{tc} ())}) 
240       (MG 
241        ({ DumpTypecheckedAst.hs:11:1-23 }
242         [
243          ({ DumpTypecheckedAst.hs:11:1-23 }
244           (Match 
245            (FunRhs 
246             ({ DumpTypecheckedAst.hs:11:1-4 }{Name: main:DumpTypecheckedAst.main{v}}) 
247             (Prefix) 
248             (NoSrcStrict)) 
249            [] 
250            (Nothing) 
251            (GRHSs 
252             [
253              ({ DumpTypecheckedAst.hs:11:6-23 }
254               (GRHS 
255                [] 
256                ({ DumpTypecheckedAst.hs:11:8-23 }
257                 (HsApp 
258                  ({ DumpTypecheckedAst.hs:11:8-15 }
259                   (HsVar 
260                    ({ <no location info> }{Var: (base:System.IO.putStrLn{v} [gid] :: base:GHC.Base.String{tc}
261                                      -> ghc-prim:GHC.Types.IO{tc} ())}))) 
262                  ({ DumpTypecheckedAst.hs:11:17-23 }
263                   (HsLit 
264                    (HsString 
265                     (SourceText "\"hello\"") {FastString: "hello"})))))))] 
266             ({ <no location info> }
267              (EmptyLocalBinds)))))]) 
268        [] 
269        (TyConApp 
270         ({abstract:TyCon}) 
271         [
272          (TyConApp 
273           ({abstract:TyCon}) 
274           [])]) 
275        (FromSource)) 
276       (WpHole) {NameSet: 
277       []} 
278       []))]}))]}
279