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