Refactor type family instance abstract syntax declarations
[ghc.git] / testsuite / tests / parser / should_compile / DumpParsedAst.stderr
1
2 ==================== Parser AST ====================
3
4 ({ DumpParsedAst.hs:1:1 }
5  (HsModule
6   (Just
7    ({ DumpParsedAst.hs:3:8-20 }
8     {ModuleName: DumpParsedAst}))
9   (Nothing)
10   []
11   [({ DumpParsedAst.hs:5:1-30 }
12     (TyClD
13      (DataDecl
14       ({ DumpParsedAst.hs:5:6-10 }
15        (Unqual
16         {OccName: Peano}))
17       (HsQTvs
18        (PlaceHolder)
19        []
20        (PlaceHolder))
21       (Prefix)
22       (HsDataDefn
23        (DataType)
24        ({ <no location info> }
25         [])
26        (Nothing)
27        (Nothing)
28        [({ DumpParsedAst.hs:5:14-17 }
29          (ConDeclH98
30           ({ DumpParsedAst.hs:5:14-17 }
31            (Unqual
32             {OccName: Zero}))
33           (Nothing)
34           (Just
35            ({ <no location info> }
36             []))
37           (PrefixCon
38            [])
39           (Nothing)))
40        ,({ DumpParsedAst.hs:5:21-30 }
41          (ConDeclH98
42           ({ DumpParsedAst.hs:5:21-24 }
43            (Unqual
44             {OccName: Succ}))
45           (Nothing)
46           (Just
47            ({ <no location info> }
48             []))
49           (PrefixCon
50            [({ DumpParsedAst.hs:5:26-30 }
51              (HsTyVar
52               (NotPromoted)
53               ({ DumpParsedAst.hs:5:26-30 }
54                (Unqual
55                 {OccName: Peano}))))])
56           (Nothing)))]
57        ({ <no location info> }
58         []))
59       (PlaceHolder)
60       (PlaceHolder))))
61   ,({ DumpParsedAst.hs:7:1-39 }
62     (TyClD
63      (FamDecl
64       (FamilyDecl
65        (ClosedTypeFamily
66         (Just
67          [({ DumpParsedAst.hs:8:3-36 }
68            (HsIB
69             (PlaceHolder)
70             (FamEqn
71              ({ DumpParsedAst.hs:8:3-8 }
72               (Unqual
73                {OccName: Length}))
74              [({ DumpParsedAst.hs:8:10-17 }
75                (HsParTy
76                 ({ DumpParsedAst.hs:8:11-16 }
77                  (HsAppsTy
78                   [({ DumpParsedAst.hs:8:11 }
79                     (HsAppPrefix
80                      ({ DumpParsedAst.hs:8:11 }
81                       (HsTyVar
82                        (NotPromoted)
83                        ({ DumpParsedAst.hs:8:11 }
84                         (Unqual
85                          {OccName: a}))))))
86                   ,({ DumpParsedAst.hs:8:13 }
87                     (HsAppInfix
88                      ({ DumpParsedAst.hs:8:13 }
89                       (Exact
90                        {Name: :}))))
91                   ,({ DumpParsedAst.hs:8:15-16 }
92                     (HsAppPrefix
93                      ({ DumpParsedAst.hs:8:15-16 }
94                       (HsTyVar
95                        (NotPromoted)
96                        ({ DumpParsedAst.hs:8:15-16 }
97                         (Unqual
98                          {OccName: as}))))))]))))]
99              (Prefix)
100              ({ DumpParsedAst.hs:8:21-36 }
101               (HsAppsTy
102                [({ DumpParsedAst.hs:8:21-24 }
103                  (HsAppPrefix
104                   ({ DumpParsedAst.hs:8:21-24 }
105                    (HsTyVar
106                     (NotPromoted)
107                     ({ DumpParsedAst.hs:8:21-24 }
108                      (Unqual
109                       {OccName: Succ}))))))
110                ,({ DumpParsedAst.hs:8:26-36 }
111                  (HsAppPrefix
112                   ({ DumpParsedAst.hs:8:26-36 }
113                    (HsParTy
114                     ({ DumpParsedAst.hs:8:27-35 }
115                      (HsAppsTy
116                       [({ DumpParsedAst.hs:8:27-32 }
117                         (HsAppPrefix
118                          ({ DumpParsedAst.hs:8:27-32 }
119                           (HsTyVar
120                            (NotPromoted)
121                            ({ DumpParsedAst.hs:8:27-32 }
122                             (Unqual
123                              {OccName: Length}))))))
124                       ,({ DumpParsedAst.hs:8:34-35 }
125                         (HsAppPrefix
126                          ({ DumpParsedAst.hs:8:34-35 }
127                           (HsTyVar
128                            (NotPromoted)
129                            ({ DumpParsedAst.hs:8:34-35 }
130                             (Unqual
131                              {OccName: as}))))))]))))))])))
132             (PlaceHolder)))
133          ,({ DumpParsedAst.hs:9:3-24 }
134            (HsIB
135             (PlaceHolder)
136             (FamEqn
137              ({ DumpParsedAst.hs:9:3-8 }
138               (Unqual
139                {OccName: Length}))
140              [({ DumpParsedAst.hs:9:10-12 }
141                (HsExplicitListTy
142                 (Promoted)
143                 (PlaceHolder)
144                 []))]
145              (Prefix)
146              ({ DumpParsedAst.hs:9:21-24 }
147               (HsAppsTy
148                [({ DumpParsedAst.hs:9:21-24 }
149                  (HsAppPrefix
150                   ({ DumpParsedAst.hs:9:21-24 }
151                    (HsTyVar
152                     (NotPromoted)
153                     ({ DumpParsedAst.hs:9:21-24 }
154                      (Unqual
155                       {OccName: Zero}))))))])))
156             (PlaceHolder)))]))
157        ({ DumpParsedAst.hs:7:13-18 }
158         (Unqual
159          {OccName: Length}))
160        (HsQTvs
161         (PlaceHolder)
162         [({ DumpParsedAst.hs:7:20-30 }
163           (KindedTyVar
164            ({ DumpParsedAst.hs:7:21-22 }
165             (Unqual
166              {OccName: as}))
167            ({ DumpParsedAst.hs:7:27-29 }
168             (HsAppsTy
169              [({ DumpParsedAst.hs:7:27-29 }
170                (HsAppPrefix
171                 ({ DumpParsedAst.hs:7:27-29 }
172                  (HsListTy
173                   ({ DumpParsedAst.hs:7:28 }
174                    (HsAppsTy
175                     [({ DumpParsedAst.hs:7:28 }
176                       (HsAppPrefix
177                        ({ DumpParsedAst.hs:7:28 }
178                         (HsTyVar
179                          (NotPromoted)
180                          ({ DumpParsedAst.hs:7:28 }
181                           (Unqual
182                            {OccName: k}))))))]))))))]))))]
183         (PlaceHolder))
184        (Prefix)
185        ({ DumpParsedAst.hs:7:32-39 }
186         (KindSig
187          ({ DumpParsedAst.hs:7:35-39 }
188           (HsAppsTy
189            [({ DumpParsedAst.hs:7:35-39 }
190              (HsAppPrefix
191               ({ DumpParsedAst.hs:7:35-39 }
192                (HsTyVar
193                 (NotPromoted)
194                 ({ DumpParsedAst.hs:7:35-39 }
195                  (Unqual
196                   {OccName: Peano}))))))]))))
197        (Nothing)))))
198   ,({ DumpParsedAst.hs:11:1-23 }
199     (ValD
200      (FunBind
201       ({ DumpParsedAst.hs:11:1-4 }
202        (Unqual
203         {OccName: main}))
204       (MG
205        ({ DumpParsedAst.hs:11:1-23 }
206         [({ DumpParsedAst.hs:11:1-23 }
207           (Match
208            (FunRhs
209             ({ DumpParsedAst.hs:11:1-4 }
210              (Unqual
211               {OccName: main}))
212             (Prefix)
213             (NoSrcStrict))
214            []
215            (Nothing)
216            (GRHSs
217             [({ DumpParsedAst.hs:11:6-23 }
218               (GRHS
219                []
220                ({ DumpParsedAst.hs:11:8-23 }
221                 (HsApp
222                  ({ DumpParsedAst.hs:11:8-15 }
223                   (HsVar
224                    ({ DumpParsedAst.hs:11:8-15 }
225                     (Unqual
226                      {OccName: putStrLn}))))
227                  ({ DumpParsedAst.hs:11:17-23 }
228                   (HsLit
229                    (HsString
230                     (SourceText
231                      "\"hello\"")
232                     {FastString: "hello"})))))))]
233             ({ <no location info> }
234              (EmptyLocalBinds)))))])
235        []
236        (PlaceHolder)
237        (FromSource))
238       (WpHole)
239       (PlaceHolder)
240       [])))]
241   (Nothing)
242   (Nothing)))
243
244