TcTypeable: Try to reuse KindReps
[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: (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                  (HsWordPrim 
75                   (NoSourceText) 
76                   (13760111476013868540)))))) 
77              ({ <no location info> }
78               (HsLit 
79                (HsWordPrim 
80                 (NoSourceText) 
81                 (12314848029315386153)))))) 
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          (HsIntPrim 
99           (SourceText "0") 
100           (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                  (HsWordPrim 
125                   (NoSourceText) 
126                   (1143980031331647856)))))) 
127              ({ <no location info> }
128               (HsLit 
129                (HsWordPrim 
130                 (NoSourceText) 
131                 (14802086722010293686)))))) 
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          (HsIntPrim 
149           (SourceText "0") 
150           (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       (HsConLikeOut 
177        ({abstract:ConLike}))) 
178      ({ <no location info> }
179       (HsConLikeOut 
180        ({abstract:ConLike}))))) 
181    (False))),
182  ({ <no location info> }
183   (VarBind {Var: ($krep{v} [lid] :: ghc-prim:GHC.Types.KindRep{tc})} 
184    ({ <no location info> }
185     (HsApp 
186      ({ <no location info> }
187       (HsApp 
188        ({ <no location info> }
189         (HsConLikeOut 
190          ({abstract:ConLike}))) 
191        ({ <no location info> }
192         (HsVar 
193          ({ <no location info> }{Var: (main:DumpTypecheckedAst.$tcPeano{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})}))))) 
194      ({ <no location info> }
195       (HsWrap 
196        (WpTyApp 
197         (TyConApp 
198          ({abstract:TyCon}) 
199          [])) 
200        (HsConLikeOut 
201         ({abstract:ConLike})))))) 
202    (False))),
203  ({ <no location info> }
204   (VarBind {Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})} 
205    ({ <no location info> }
206     (HsApp 
207      ({ <no location info> }
208       (HsApp 
209        ({ <no location info> }
210         (HsConLikeOut 
211          ({abstract:ConLike}))) 
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) "main"))))))))) 
223      ({ <no location info> }
224       (HsPar 
225        ({ <no location info> }
226         (HsApp 
227          ({ <no location info> }
228           (HsConLikeOut 
229            ({abstract:ConLike}))) 
230          ({ <no location info> }
231           (HsLit 
232            (HsStringPrim 
233             (NoSourceText) "DumpTypecheckedAst"))))))))) 
234    (False))),
235  ({ DumpTypecheckedAst.hs:11:1-23 }
236   (AbsBinds 
237    [] 
238    [] 
239    [
240     (ABE {Var: (main:DumpTypecheckedAst.main{v} [lid] :: ghc-prim:GHC.Types.IO{tc}
241                                             ())} {Var: (main{v} [lid] :: ghc-prim:GHC.Types.IO{tc} ())} 
242      (WpHole) 
243      (SpecPrags 
244       []))] 
245    [
246     ({abstract:TcEvBinds})] {Bag(Located (HsBind Var)): 
247    [
248     ({ DumpTypecheckedAst.hs:11:1-23 }
249      (FunBind 
250       ({ DumpTypecheckedAst.hs:11:1-4 }{Var: (main{v} [lid] :: ghc-prim:GHC.Types.IO{tc} ())}) 
251       (MG 
252        ({ DumpTypecheckedAst.hs:11:1-23 }
253         [
254          ({ DumpTypecheckedAst.hs:11:1-23 }
255           (Match 
256            (FunRhs 
257             ({ DumpTypecheckedAst.hs:11:1-4 }{Name: main:DumpTypecheckedAst.main{v}}) 
258             (Prefix)) 
259            [] 
260            (Nothing) 
261            (GRHSs 
262             [
263              ({ DumpTypecheckedAst.hs:11:6-23 }
264               (GRHS 
265                [] 
266                ({ DumpTypecheckedAst.hs:11:8-23 }
267                 (HsApp 
268                  ({ DumpTypecheckedAst.hs:11:8-15 }
269                   (HsVar 
270                    ({ <no location info> }{Var: (base:System.IO.putStrLn{v} [gid] :: base:GHC.Base.String{tc}
271                                      -> ghc-prim:GHC.Types.IO{tc} ())}))) 
272                  ({ DumpTypecheckedAst.hs:11:17-23 }
273                   (HsLit 
274                    (HsString 
275                     (SourceText "\"hello\"") {FastString: "hello"})))))))] 
276             ({ <no location info> }
277              (EmptyLocalBinds)))))]) 
278        [] 
279        (TyConApp 
280         ({abstract:TyCon}) 
281         [
282          (TyConApp 
283           ({abstract:TyCon}) 
284           [])]) 
285        (FromSource)) 
286       (WpHole) {NameSet: 
287       []} 
288       []))]}))]}
289