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