1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan =
5            SrcSpan "tests/examples/OverloadedLabels.hs" 3 1 30 1
6        , srcInfoPoints =
7            [ SrcSpan "tests/examples/OverloadedLabels.hs" 3 1 3 1
8            , SrcSpan "tests/examples/OverloadedLabels.hs" 11 1 11 1
9            , SrcSpan "tests/examples/OverloadedLabels.hs" 11 1 11 1
10            , SrcSpan "tests/examples/OverloadedLabels.hs" 11 1 11 1
11            , SrcSpan "tests/examples/OverloadedLabels.hs" 13 1 13 1
12            , SrcSpan "tests/examples/OverloadedLabels.hs" 16 1 16 1
13            , SrcSpan "tests/examples/OverloadedLabels.hs" 19 1 19 1
14            , SrcSpan "tests/examples/OverloadedLabels.hs" 20 1 20 1
15            , SrcSpan "tests/examples/OverloadedLabels.hs" 22 1 22 1
16            , SrcSpan "tests/examples/OverloadedLabels.hs" 24 1 24 1
17            , SrcSpan "tests/examples/OverloadedLabels.hs" 25 1 25 1
18            , SrcSpan "tests/examples/OverloadedLabels.hs" 27 1 27 1
19            , SrcSpan "tests/examples/OverloadedLabels.hs" 30 1 30 1
20            , SrcSpan "tests/examples/OverloadedLabels.hs" 30 1 30 1
21            ]
22        }
23      Nothing
24      [ LanguagePragma
25          SrcSpanInfo
26            { srcInfoSpan =
27                SrcSpan "tests/examples/OverloadedLabels.hs" 3 1 9 6
28            , srcInfoPoints =
29                [ SrcSpan "tests/examples/OverloadedLabels.hs" 3 1 3 13
30                , SrcSpan "tests/examples/OverloadedLabels.hs" 4 12 4 13
31                , SrcSpan "tests/examples/OverloadedLabels.hs" 5 12 5 13
32                , SrcSpan "tests/examples/OverloadedLabels.hs" 6 12 6 13
33                , SrcSpan "tests/examples/OverloadedLabels.hs" 7 12 7 13
34                , SrcSpan "tests/examples/OverloadedLabels.hs" 8 12 8 13
35                , SrcSpan "tests/examples/OverloadedLabels.hs" 9 3 9 6
36                ]
37            }
38          [ Ident
39              SrcSpanInfo
40                { srcInfoSpan =
41                    SrcSpan "tests/examples/OverloadedLabels.hs" 3 14 3 30
42                , srcInfoPoints = []
43                }
44              "OverloadedLabels"
45          , Ident
46              SrcSpanInfo
47                { srcInfoSpan =
48                    SrcSpan "tests/examples/OverloadedLabels.hs" 4 14 4 23
49                , srcInfoPoints = []
50                }
51              "DataKinds"
52          , Ident
53              SrcSpanInfo
54                { srcInfoSpan =
55                    SrcSpan "tests/examples/OverloadedLabels.hs" 5 14 5 30
56                , srcInfoPoints = []
57                }
58              "FlexibleContexts"
59          , Ident
60              SrcSpanInfo
61                { srcInfoSpan =
62                    SrcSpan "tests/examples/OverloadedLabels.hs" 6 14 6 31
63                , srcInfoPoints = []
64                }
65              "FlexibleInstances"
66          , Ident
67              SrcSpanInfo
68                { srcInfoSpan =
69                    SrcSpan "tests/examples/OverloadedLabels.hs" 7 14 7 35
70                , srcInfoPoints = []
71                }
72              "MultiParamTypeClasses"
73          , Ident
74              SrcSpanInfo
75                { srcInfoSpan =
76                    SrcSpan "tests/examples/OverloadedLabels.hs" 8 14 8 39
77                , srcInfoPoints = []
78                }
79              "NoMonomorphismRestriction"
80          ]
81      ]
82      [ ImportDecl
83          { importAnn =
84              SrcSpanInfo
85                { srcInfoSpan =
86                    SrcSpan "tests/examples/OverloadedLabels.hs" 11 1 11 28
87                , srcInfoPoints =
88                    [ SrcSpan "tests/examples/OverloadedLabels.hs" 11 1 11 7 ]
89                }
90          , importModule =
91              ModuleName
92                SrcSpanInfo
93                  { srcInfoSpan =
94                      SrcSpan "tests/examples/OverloadedLabels.hs" 11 8 11 28
95                  , srcInfoPoints = []
96                  }
97                "GHC.OverloadedLabels"
98          , importQualified = False
99          , importSrc = False
100          , importSafe = False
101          , importPkg = Nothing
102          , importAs = Nothing
103          , importSpecs = Nothing
104          }
105      ]
106      [ InstDecl
107          SrcSpanInfo
108            { srcInfoSpan =
109                SrcSpan "tests/examples/OverloadedLabels.hs" 13 1 16 0
110            , srcInfoPoints =
111                [ SrcSpan "tests/examples/OverloadedLabels.hs" 13 1 13 9
112                , SrcSpan "tests/examples/OverloadedLabels.hs" 13 30 13 35
113                , SrcSpan "tests/examples/OverloadedLabels.hs" 14 3 14 3
114                , SrcSpan "tests/examples/OverloadedLabels.hs" 16 1 16 0
115                ]
116            }
117          Nothing
118          (IRule
119             SrcSpanInfo
120               { srcInfoSpan =
121                   SrcSpan "tests/examples/OverloadedLabels.hs" 13 10 13 29
122               , srcInfoPoints = []
123               }
124             Nothing
125             Nothing
126             (IHApp
127                SrcSpanInfo
128                  { srcInfoSpan =
129                      SrcSpan "tests/examples/OverloadedLabels.hs" 13 10 13 29
130                  , srcInfoPoints = []
131                  }
132                (IHApp
133                   SrcSpanInfo
134                     { srcInfoSpan =
135                         SrcSpan "tests/examples/OverloadedLabels.hs" 13 10 13 24
136                     , srcInfoPoints = []
137                     }
138                   (IHCon
139                      SrcSpanInfo
140                        { srcInfoSpan =
141                            SrcSpan "tests/examples/OverloadedLabels.hs" 13 10 13 17
142                        , srcInfoPoints = []
143                        }
144                      (UnQual
145                         SrcSpanInfo
146                           { srcInfoSpan =
147                               SrcSpan "tests/examples/OverloadedLabels.hs" 13 10 13 17
148                           , srcInfoPoints = []
149                           }
150                         (Ident
151                            SrcSpanInfo
152                              { srcInfoSpan =
153                                  SrcSpan "tests/examples/OverloadedLabels.hs" 13 10 13 17
154                              , srcInfoPoints = []
155                              }
156                            "IsLabel")))
157                   (TyPromoted
158                      SrcSpanInfo
159                        { srcInfoSpan =
160                            SrcSpan "tests/examples/OverloadedLabels.hs" 13 18 13 24
161                        , srcInfoPoints = []
162                        }
163                      (PromotedString
164                         SrcSpanInfo
165                           { srcInfoSpan =
166                               SrcSpan "tests/examples/OverloadedLabels.hs" 13 18 13 24
167                           , srcInfoPoints = []
168                           }
169                         "true"
170                         "true")))
171                (TyCon
172                   SrcSpanInfo
173                     { srcInfoSpan =
174                         SrcSpan "tests/examples/OverloadedLabels.hs" 13 25 13 29
175                     , srcInfoPoints = []
176                     }
177                   (UnQual
178                      SrcSpanInfo
179                        { srcInfoSpan =
180                            SrcSpan "tests/examples/OverloadedLabels.hs" 13 25 13 29
181                        , srcInfoPoints = []
182                        }
183                      (Ident
184                         SrcSpanInfo
185                           { srcInfoSpan =
186                               SrcSpan "tests/examples/OverloadedLabels.hs" 13 25 13 29
187                           , srcInfoPoints = []
188                           }
189                         "Bool")))))
190          (Just
191             [ InsDecl
192                 SrcSpanInfo
193                   { srcInfoSpan =
194                       SrcSpan "tests/examples/OverloadedLabels.hs" 14 3 14 21
195                   , srcInfoPoints = []
196                   }
197                 (FunBind
198                    SrcSpanInfo
199                      { srcInfoSpan =
200                          SrcSpan "tests/examples/OverloadedLabels.hs" 14 3 14 21
201                      , srcInfoPoints = []
202                      }
203                    [ Match
204                        SrcSpanInfo
205                          { srcInfoSpan =
206                              SrcSpan "tests/examples/OverloadedLabels.hs" 14 3 14 21
207                          , srcInfoPoints = []
208                          }
209                        (Ident
210                           SrcSpanInfo
211                             { srcInfoSpan =
212                                 SrcSpan "tests/examples/OverloadedLabels.hs" 14 3 14 12
213                             , srcInfoPoints = []
214                             }
215                           "fromLabel")
216                        [ PWildCard
217                            SrcSpanInfo
218                              { srcInfoSpan =
219                                  SrcSpan "tests/examples/OverloadedLabels.hs" 14 13 14 14
220                              , srcInfoPoints = []
221                              }
222                        ]
223                        (UnGuardedRhs
224                           SrcSpanInfo
225                             { srcInfoSpan =
226                                 SrcSpan "tests/examples/OverloadedLabels.hs" 14 15 14 21
227                             , srcInfoPoints =
228                                 [ SrcSpan "tests/examples/OverloadedLabels.hs" 14 15 14 16 ]
229                             }
230                           (Con
231                              SrcSpanInfo
232                                { srcInfoSpan =
233                                    SrcSpan "tests/examples/OverloadedLabels.hs" 14 17 14 21
234                                , srcInfoPoints = []
235                                }
236                              (UnQual
237                                 SrcSpanInfo
238                                   { srcInfoSpan =
239                                       SrcSpan "tests/examples/OverloadedLabels.hs" 14 17 14 21
240                                   , srcInfoPoints = []
241                                   }
242                                 (Ident
243                                    SrcSpanInfo
244                                      { srcInfoSpan =
245                                          SrcSpan "tests/examples/OverloadedLabels.hs" 14 17 14 21
246                                      , srcInfoPoints = []
247                                      }
248                                    "True"))))
249                        Nothing
250                    ])
251             ])
252      , InstDecl
253          SrcSpanInfo
254            { srcInfoSpan =
255                SrcSpan "tests/examples/OverloadedLabels.hs" 16 1 19 0
256            , srcInfoPoints =
257                [ SrcSpan "tests/examples/OverloadedLabels.hs" 16 1 16 9
258                , SrcSpan "tests/examples/OverloadedLabels.hs" 16 34 16 39
259                , SrcSpan "tests/examples/OverloadedLabels.hs" 17 3 17 3
260                , SrcSpan "tests/examples/OverloadedLabels.hs" 19 1 19 0
261                ]
262            }
263          Nothing
264          (IRule
265             SrcSpanInfo
266               { srcInfoSpan =
267                   SrcSpan "tests/examples/OverloadedLabels.hs" 16 10 16 33
268               , srcInfoPoints = []
269               }
270             Nothing
271             Nothing
272             (IHApp
273                SrcSpanInfo
274                  { srcInfoSpan =
275                      SrcSpan "tests/examples/OverloadedLabels.hs" 16 10 16 33
276                  , srcInfoPoints = []
277                  }
278                (IHApp
279                   SrcSpanInfo
280                     { srcInfoSpan =
281                         SrcSpan "tests/examples/OverloadedLabels.hs" 16 10 16 28
282                     , srcInfoPoints = []
283                     }
284                   (IHCon
285                      SrcSpanInfo
286                        { srcInfoSpan =
287                            SrcSpan "tests/examples/OverloadedLabels.hs" 16 10 16 17
288                        , srcInfoPoints = []
289                        }
290                      (UnQual
291                         SrcSpanInfo
292                           { srcInfoSpan =
293                               SrcSpan "tests/examples/OverloadedLabels.hs" 16 10 16 17
294                           , srcInfoPoints = []
295                           }
296                         (Ident
297                            SrcSpanInfo
298                              { srcInfoSpan =
299                                  SrcSpan "tests/examples/OverloadedLabels.hs" 16 10 16 17
300                              , srcInfoPoints = []
301                              }
302                            "IsLabel")))
303                   (TyPromoted
304                      SrcSpanInfo
305                        { srcInfoSpan =
306                            SrcSpan "tests/examples/OverloadedLabels.hs" 16 18 16 28
307                        , srcInfoPoints = []
308                        }
309                      (PromotedString
310                         SrcSpanInfo
311                           { srcInfoSpan =
312                               SrcSpan "tests/examples/OverloadedLabels.hs" 16 18 16 28
313                           , srcInfoPoints = []
314                           }
315                         "_False1'"
316                         "_False1'")))
317                (TyCon
318                   SrcSpanInfo
319                     { srcInfoSpan =
320                         SrcSpan "tests/examples/OverloadedLabels.hs" 16 29 16 33
321                     , srcInfoPoints = []
322                     }
323                   (UnQual
324                      SrcSpanInfo
325                        { srcInfoSpan =
326                            SrcSpan "tests/examples/OverloadedLabels.hs" 16 29 16 33
327                        , srcInfoPoints = []
328                        }
329                      (Ident
330                         SrcSpanInfo
331                           { srcInfoSpan =
332                               SrcSpan "tests/examples/OverloadedLabels.hs" 16 29 16 33
333                           , srcInfoPoints = []
334                           }
335                         "Bool")))))
336          (Just
337             [ InsDecl
338                 SrcSpanInfo
339                   { srcInfoSpan =
340                       SrcSpan "tests/examples/OverloadedLabels.hs" 17 3 17 22
341                   , srcInfoPoints = []
342                   }
343                 (FunBind
344                    SrcSpanInfo
345                      { srcInfoSpan =
346                          SrcSpan "tests/examples/OverloadedLabels.hs" 17 3 17 22
347                      , srcInfoPoints = []
348                      }
349                    [ Match
350                        SrcSpanInfo
351                          { srcInfoSpan =
352                              SrcSpan "tests/examples/OverloadedLabels.hs" 17 3 17 22
353                          , srcInfoPoints = []
354                          }
355                        (Ident
356                           SrcSpanInfo
357                             { srcInfoSpan =
358                                 SrcSpan "tests/examples/OverloadedLabels.hs" 17 3 17 12
359                             , srcInfoPoints = []
360                             }
361                           "fromLabel")
362                        [ PWildCard
363                            SrcSpanInfo
364                              { srcInfoSpan =
365                                  SrcSpan "tests/examples/OverloadedLabels.hs" 17 13 17 14
366                              , srcInfoPoints = []
367                              }
368                        ]
369                        (UnGuardedRhs
370                           SrcSpanInfo
371                             { srcInfoSpan =
372                                 SrcSpan "tests/examples/OverloadedLabels.hs" 17 15 17 22
373                             , srcInfoPoints =
374                                 [ SrcSpan "tests/examples/OverloadedLabels.hs" 17 15 17 16 ]
375                             }
376                           (Con
377                              SrcSpanInfo
378                                { srcInfoSpan =
379                                    SrcSpan "tests/examples/OverloadedLabels.hs" 17 17 17 22
380                                , srcInfoPoints = []
381                                }
382                              (UnQual
383                                 SrcSpanInfo
384                                   { srcInfoSpan =
385                                       SrcSpan "tests/examples/OverloadedLabels.hs" 17 17 17 22
386                                   , srcInfoPoints = []
387                                   }
388                                 (Ident
389                                    SrcSpanInfo
390                                      { srcInfoSpan =
391                                          SrcSpan "tests/examples/OverloadedLabels.hs" 17 17 17 22
392                                      , srcInfoPoints = []
393                                      }
394                                    "False"))))
395                        Nothing
396                    ])
397             ])
398      , TypeSig
399          SrcSpanInfo
400            { srcInfoSpan =
401                SrcSpan "tests/examples/OverloadedLabels.hs" 19 1 19 27
402            , srcInfoPoints =
403                [ SrcSpan "tests/examples/OverloadedLabels.hs" 19 3 19 5 ]
404            }
405          [ Ident
406              SrcSpanInfo
407                { srcInfoSpan =
408                    SrcSpan "tests/examples/OverloadedLabels.hs" 19 1 19 2
409                , srcInfoPoints = []
410                }
411              "a"
412          ]
413          (TyForall
414             SrcSpanInfo
415               { srcInfoSpan =
416                   SrcSpan "tests/examples/OverloadedLabels.hs" 19 6 19 27
417               , srcInfoPoints = []
418               }
419             Nothing
420             (Just
421                (CxSingle
422                   SrcSpanInfo
423                     { srcInfoSpan =
424                         SrcSpan "tests/examples/OverloadedLabels.hs" 19 6 19 25
425                     , srcInfoPoints =
426                         [ SrcSpan "tests/examples/OverloadedLabels.hs" 19 23 19 25 ]
427                     }
428                   (TypeA
429                      SrcSpanInfo
430                        { srcInfoSpan =
431                            SrcSpan "tests/examples/OverloadedLabels.hs" 19 6 19 25
432                        , srcInfoPoints =
433                            [ SrcSpan "tests/examples/OverloadedLabels.hs" 19 23 19 25 ]
434                        }
435                      (TyApp
436                         SrcSpanInfo
437                           { srcInfoSpan =
438                               SrcSpan "tests/examples/OverloadedLabels.hs" 19 6 19 25
439                           , srcInfoPoints =
440                               [ SrcSpan "tests/examples/OverloadedLabels.hs" 19 23 19 25 ]
441                           }
442                         (TyApp
443                            SrcSpanInfo
444                              { srcInfoSpan =
445                                  SrcSpan "tests/examples/OverloadedLabels.hs" 19 6 19 25
446                              , srcInfoPoints =
447                                  [ SrcSpan "tests/examples/OverloadedLabels.hs" 19 23 19 25 ]
448                              }
449                            (TyCon
450                               SrcSpanInfo
451                                 { srcInfoSpan =
452                                     SrcSpan "tests/examples/OverloadedLabels.hs" 19 6 19 25
453                                 , srcInfoPoints =
454                                     [ SrcSpan "tests/examples/OverloadedLabels.hs" 19 23 19 25 ]
455                                 }
456                               (UnQual
457                                  SrcSpanInfo
458                                    { srcInfoSpan =
459                                        SrcSpan "tests/examples/OverloadedLabels.hs" 19 6 19 13
460                                    , srcInfoPoints = []
461                                    }
462                                  (Ident
463                                     SrcSpanInfo
464                                       { srcInfoSpan =
465                                           SrcSpan "tests/examples/OverloadedLabels.hs" 19 6 19 13
466                                       , srcInfoPoints = []
467                                       }
468                                     "IsLabel")))
469                            (TyPromoted
470                               SrcSpanInfo
471                                 { srcInfoSpan =
472                                     SrcSpan "tests/examples/OverloadedLabels.hs" 19 14 19 20
473                                 , srcInfoPoints = []
474                                 }
475                               (PromotedString
476                                  SrcSpanInfo
477                                    { srcInfoSpan =
478                                        SrcSpan "tests/examples/OverloadedLabels.hs" 19 14 19 20
479                                    , srcInfoPoints = []
480                                    }
481                                  "true"
482                                  "true")))
483                         (TyVar
484                            SrcSpanInfo
485                              { srcInfoSpan =
486                                  SrcSpan "tests/examples/OverloadedLabels.hs" 19 21 19 22
487                              , srcInfoPoints = []
488                              }
489                            (Ident
490                               SrcSpanInfo
491                                 { srcInfoSpan =
492                                     SrcSpan "tests/examples/OverloadedLabels.hs" 19 21 19 22
493                                 , srcInfoPoints = []
494                                 }
495                               "t"))))))
496             (TyVar
497                SrcSpanInfo
498                  { srcInfoSpan =
499                      SrcSpan "tests/examples/OverloadedLabels.hs" 19 26 19 27
500                  , srcInfoPoints = []
501                  }
502                (Ident
503                   SrcSpanInfo
504                     { srcInfoSpan =
505                         SrcSpan "tests/examples/OverloadedLabels.hs" 19 26 19 27
506                     , srcInfoPoints = []
507                     }
508                   "t")))
509      , PatBind
510          SrcSpanInfo
511            { srcInfoSpan =
512                SrcSpan "tests/examples/OverloadedLabels.hs" 20 1 20 10
513            , srcInfoPoints = []
514            }
515          (PVar
516             SrcSpanInfo
517               { srcInfoSpan =
518                   SrcSpan "tests/examples/OverloadedLabels.hs" 20 1 20 2
519               , srcInfoPoints = []
520               }
521             (Ident
522                SrcSpanInfo
523                  { srcInfoSpan =
524                      SrcSpan "tests/examples/OverloadedLabels.hs" 20 1 20 2
525                  , srcInfoPoints = []
526                  }
527                "a"))
528          (UnGuardedRhs
529             SrcSpanInfo
530               { srcInfoSpan =
531                   SrcSpan "tests/examples/OverloadedLabels.hs" 20 3 20 10
532               , srcInfoPoints =
533                   [ SrcSpan "tests/examples/OverloadedLabels.hs" 20 3 20 4 ]
534               }
535             (OverloadedLabel
536                SrcSpanInfo
537                  { srcInfoSpan =
538                      SrcSpan "tests/examples/OverloadedLabels.hs" 20 5 20 10
539                  , srcInfoPoints = []
540                  }
541                "true"))
542          Nothing
543      , PatBind
544          SrcSpanInfo
545            { srcInfoSpan =
546                SrcSpan "tests/examples/OverloadedLabels.hs" 22 1 22 14
547            , srcInfoPoints = []
548            }
549          (PVar
550             SrcSpanInfo
551               { srcInfoSpan =
552                   SrcSpan "tests/examples/OverloadedLabels.hs" 22 1 22 2
553               , srcInfoPoints = []
554               }
555             (Ident
556                SrcSpanInfo
557                  { srcInfoSpan =
558                      SrcSpan "tests/examples/OverloadedLabels.hs" 22 1 22 2
559                  , srcInfoPoints = []
560                  }
561                "b"))
562          (UnGuardedRhs
563             SrcSpanInfo
564               { srcInfoSpan =
565                   SrcSpan "tests/examples/OverloadedLabels.hs" 22 3 22 14
566               , srcInfoPoints =
567                   [ SrcSpan "tests/examples/OverloadedLabels.hs" 22 3 22 4 ]
568               }
569             (OverloadedLabel
570                SrcSpanInfo
571                  { srcInfoSpan =
572                      SrcSpan "tests/examples/OverloadedLabels.hs" 22 5 22 14
573                  , srcInfoPoints = []
574                  }
575                "_False1'"))
576          Nothing
577      , TypeSig
578          SrcSpanInfo
579            { srcInfoSpan =
580                SrcSpan "tests/examples/OverloadedLabels.hs" 24 1 24 10
581            , srcInfoPoints =
582                [ SrcSpan "tests/examples/OverloadedLabels.hs" 24 3 24 5 ]
583            }
584          [ Ident
585              SrcSpanInfo
586                { srcInfoSpan =
587                    SrcSpan "tests/examples/OverloadedLabels.hs" 24 1 24 2
588                , srcInfoPoints = []
589                }
590              "c"
591          ]
592          (TyCon
593             SrcSpanInfo
594               { srcInfoSpan =
595                   SrcSpan "tests/examples/OverloadedLabels.hs" 24 6 24 10
596               , srcInfoPoints = []
597               }
598             (UnQual
599                SrcSpanInfo
600                  { srcInfoSpan =
601                      SrcSpan "tests/examples/OverloadedLabels.hs" 24 6 24 10
602                  , srcInfoPoints = []
603                  }
604                (Ident
605                   SrcSpanInfo
606                     { srcInfoSpan =
607                         SrcSpan "tests/examples/OverloadedLabels.hs" 24 6 24 10
608                     , srcInfoPoints = []
609                     }
610                   "Bool")))
611      , PatBind
612          SrcSpanInfo
613            { srcInfoSpan =
614                SrcSpan "tests/examples/OverloadedLabels.hs" 25 1 25 10
615            , srcInfoPoints = []
616            }
617          (PVar
618             SrcSpanInfo
619               { srcInfoSpan =
620                   SrcSpan "tests/examples/OverloadedLabels.hs" 25 1 25 2
621               , srcInfoPoints = []
622               }
623             (Ident
624                SrcSpanInfo
625                  { srcInfoSpan =
626                      SrcSpan "tests/examples/OverloadedLabels.hs" 25 1 25 2
627                  , srcInfoPoints = []
628                  }
629                "c"))
630          (UnGuardedRhs
631             SrcSpanInfo
632               { srcInfoSpan =
633                   SrcSpan "tests/examples/OverloadedLabels.hs" 25 3 25 10
634               , srcInfoPoints =
635                   [ SrcSpan "tests/examples/OverloadedLabels.hs" 25 3 25 4 ]
636               }
637             (OverloadedLabel
638                SrcSpanInfo
639                  { srcInfoSpan =
640                      SrcSpan "tests/examples/OverloadedLabels.hs" 25 5 25 10
641                  , srcInfoPoints = []
642                  }
643                "true"))
644          Nothing
645      , PatBind
646          SrcSpanInfo
647            { srcInfoSpan =
648                SrcSpan "tests/examples/OverloadedLabels.hs" 27 1 29 18
649            , srcInfoPoints = []
650            }
651          (PVar
652             SrcSpanInfo
653               { srcInfoSpan =
654                   SrcSpan "tests/examples/OverloadedLabels.hs" 27 1 27 5
655               , srcInfoPoints = []
656               }
657             (Ident
658                SrcSpanInfo
659                  { srcInfoSpan =
660                      SrcSpan "tests/examples/OverloadedLabels.hs" 27 1 27 5
661                  , srcInfoPoints = []
662                  }
663                "main"))
664          (UnGuardedRhs
665             SrcSpanInfo
666               { srcInfoSpan =
667                   SrcSpan "tests/examples/OverloadedLabels.hs" 27 6 29 18
668               , srcInfoPoints =
669                   [ SrcSpan "tests/examples/OverloadedLabels.hs" 27 6 27 7 ]
670               }
671             (Do
672                SrcSpanInfo
673                  { srcInfoSpan =
674                      SrcSpan "tests/examples/OverloadedLabels.hs" 27 8 29 18
675                  , srcInfoPoints =
676                      [ SrcSpan "tests/examples/OverloadedLabels.hs" 27 8 27 10
677                      , SrcSpan "tests/examples/OverloadedLabels.hs" 27 11 27 11
678                      , SrcSpan "tests/examples/OverloadedLabels.hs" 28 11 28 11
679                      , SrcSpan "tests/examples/OverloadedLabels.hs" 29 11 29 11
680                      , SrcSpan "tests/examples/OverloadedLabels.hs" 30 1 30 0
681                      ]
682                  }
683                [ Qualifier
684                    SrcSpanInfo
685                      { srcInfoSpan =
686                          SrcSpan "tests/examples/OverloadedLabels.hs" 27 11 27 28
687                      , srcInfoPoints = []
688                      }
689                    (App
690                       SrcSpanInfo
691                         { srcInfoSpan =
692                             SrcSpan "tests/examples/OverloadedLabels.hs" 27 11 27 28
693                         , srcInfoPoints = []
694                         }
695                       (Var
696                          SrcSpanInfo
697                            { srcInfoSpan =
698                                SrcSpan "tests/examples/OverloadedLabels.hs" 27 11 27 16
699                            , srcInfoPoints = []
700                            }
701                          (UnQual
702                             SrcSpanInfo
703                               { srcInfoSpan =
704                                   SrcSpan "tests/examples/OverloadedLabels.hs" 27 11 27 16
705                               , srcInfoPoints = []
706                               }
707                             (Ident
708                                SrcSpanInfo
709                                  { srcInfoSpan =
710                                      SrcSpan "tests/examples/OverloadedLabels.hs" 27 11 27 16
711                                  , srcInfoPoints = []
712                                  }
713                                "print")))
714                       (Paren
715                          SrcSpanInfo
716                            { srcInfoSpan =
717                                SrcSpan "tests/examples/OverloadedLabels.hs" 27 17 27 28
718                            , srcInfoPoints =
719                                [ SrcSpan "tests/examples/OverloadedLabels.hs" 27 17 27 18
720                                , SrcSpan "tests/examples/OverloadedLabels.hs" 27 27 27 28
721                                ]
722                            }
723                          (ExpTypeSig
724                             SrcSpanInfo
725                               { srcInfoSpan =
726                                   SrcSpan "tests/examples/OverloadedLabels.hs" 27 18 27 27
727                               , srcInfoPoints =
728                                   [ SrcSpan "tests/examples/OverloadedLabels.hs" 27 20 27 22 ]
729                               }
730                             (Var
731                                SrcSpanInfo
732                                  { srcInfoSpan =
733                                      SrcSpan "tests/examples/OverloadedLabels.hs" 27 18 27 19
734                                  , srcInfoPoints = []
735                                  }
736                                (UnQual
737                                   SrcSpanInfo
738                                     { srcInfoSpan =
739                                         SrcSpan "tests/examples/OverloadedLabels.hs" 27 18 27 19
740                                     , srcInfoPoints = []
741                                     }
742                                   (Ident
743                                      SrcSpanInfo
744                                        { srcInfoSpan =
745                                            SrcSpan "tests/examples/OverloadedLabels.hs" 27 18 27 19
746                                        , srcInfoPoints = []
747                                        }
748                                      "a")))
749                             (TyCon
750                                SrcSpanInfo
751                                  { srcInfoSpan =
752                                      SrcSpan "tests/examples/OverloadedLabels.hs" 27 23 27 27
753                                  , srcInfoPoints = []
754                                  }
755                                (UnQual
756                                   SrcSpanInfo
757                                     { srcInfoSpan =
758                                         SrcSpan "tests/examples/OverloadedLabels.hs" 27 23 27 27
759                                     , srcInfoPoints = []
760                                     }
761                                   (Ident
762                                      SrcSpanInfo
763                                        { srcInfoSpan =
764                                            SrcSpan "tests/examples/OverloadedLabels.hs" 27 23 27 27
765                                        , srcInfoPoints = []
766                                        }
767                                      "Bool"))))))
768                , Qualifier
769                    SrcSpanInfo
770                      { srcInfoSpan =
771                          SrcSpan "tests/examples/OverloadedLabels.hs" 28 11 28 28
772                      , srcInfoPoints = []
773                      }
774                    (App
775                       SrcSpanInfo
776                         { srcInfoSpan =
777                             SrcSpan "tests/examples/OverloadedLabels.hs" 28 11 28 28
778                         , srcInfoPoints = []
779                         }
780                       (Var
781                          SrcSpanInfo
782                            { srcInfoSpan =
783                                SrcSpan "tests/examples/OverloadedLabels.hs" 28 11 28 16
784                            , srcInfoPoints = []
785                            }
786                          (UnQual
787                             SrcSpanInfo
788                               { srcInfoSpan =
789                                   SrcSpan "tests/examples/OverloadedLabels.hs" 28 11 28 16
790                               , srcInfoPoints = []
791                               }
792                             (Ident
793                                SrcSpanInfo
794                                  { srcInfoSpan =
795                                      SrcSpan "tests/examples/OverloadedLabels.hs" 28 11 28 16
796                                  , srcInfoPoints = []
797                                  }
798                                "print")))
799                       (Paren
800                          SrcSpanInfo
801                            { srcInfoSpan =
802                                SrcSpan "tests/examples/OverloadedLabels.hs" 28 17 28 28
803                            , srcInfoPoints =
804                                [ SrcSpan "tests/examples/OverloadedLabels.hs" 28 17 28 18
805                                , SrcSpan "tests/examples/OverloadedLabels.hs" 28 27 28 28
806                                ]
807                            }
808                          (ExpTypeSig
809                             SrcSpanInfo
810                               { srcInfoSpan =
811                                   SrcSpan "tests/examples/OverloadedLabels.hs" 28 18 28 27
812                               , srcInfoPoints =
813                                   [ SrcSpan "tests/examples/OverloadedLabels.hs" 28 20 28 22 ]
814                               }
815                             (Var
816                                SrcSpanInfo
817                                  { srcInfoSpan =
818                                      SrcSpan "tests/examples/OverloadedLabels.hs" 28 18 28 19
819                                  , srcInfoPoints = []
820                                  }
821                                (UnQual
822                                   SrcSpanInfo
823                                     { srcInfoSpan =
824                                         SrcSpan "tests/examples/OverloadedLabels.hs" 28 18 28 19
825                                     , srcInfoPoints = []
826                                     }
827                                   (Ident
828                                      SrcSpanInfo
829                                        { srcInfoSpan =
830                                            SrcSpan "tests/examples/OverloadedLabels.hs" 28 18 28 19
831                                        , srcInfoPoints = []
832                                        }
833                                      "b")))
834                             (TyCon
835                                SrcSpanInfo
836                                  { srcInfoSpan =
837                                      SrcSpan "tests/examples/OverloadedLabels.hs" 28 23 28 27
838                                  , srcInfoPoints = []
839                                  }
840                                (UnQual
841                                   SrcSpanInfo
842                                     { srcInfoSpan =
843                                         SrcSpan "tests/examples/OverloadedLabels.hs" 28 23 28 27
844                                     , srcInfoPoints = []
845                                     }
846                                   (Ident
847                                      SrcSpanInfo
848                                        { srcInfoSpan =
849                                            SrcSpan "tests/examples/OverloadedLabels.hs" 28 23 28 27
850                                        , srcInfoPoints = []
851                                        }
852                                      "Bool"))))))
853                , Qualifier
854                    SrcSpanInfo
855                      { srcInfoSpan =
856                          SrcSpan "tests/examples/OverloadedLabels.hs" 29 11 29 18
857                      , srcInfoPoints = []
858                      }
859                    (App
860                       SrcSpanInfo
861                         { srcInfoSpan =
862                             SrcSpan "tests/examples/OverloadedLabels.hs" 29 11 29 18
863                         , srcInfoPoints = []
864                         }
865                       (Var
866                          SrcSpanInfo
867                            { srcInfoSpan =
868                                SrcSpan "tests/examples/OverloadedLabels.hs" 29 11 29 16
869                            , srcInfoPoints = []
870                            }
871                          (UnQual
872                             SrcSpanInfo
873                               { srcInfoSpan =
874                                   SrcSpan "tests/examples/OverloadedLabels.hs" 29 11 29 16
875                               , srcInfoPoints = []
876                               }
877                             (Ident
878                                SrcSpanInfo
879                                  { srcInfoSpan =
880                                      SrcSpan "tests/examples/OverloadedLabels.hs" 29 11 29 16
881                                  , srcInfoPoints = []
882                                  }
883                                "print")))
884                       (Var
885                          SrcSpanInfo
886                            { srcInfoSpan =
887                                SrcSpan "tests/examples/OverloadedLabels.hs" 29 17 29 18
888                            , srcInfoPoints = []
889                            }
890                          (UnQual
891                             SrcSpanInfo
892                               { srcInfoSpan =
893                                   SrcSpan "tests/examples/OverloadedLabels.hs" 29 17 29 18
894                               , srcInfoPoints = []
895                               }
896                             (Ident
897                                SrcSpanInfo
898                                  { srcInfoSpan =
899                                      SrcSpan "tests/examples/OverloadedLabels.hs" 29 17 29 18
900                                  , srcInfoPoints = []
901                                  }
902                                "c"))))
903                ]))
904          Nothing
905      ]
906  , [ Comment
907        False
908        (SrcSpan "tests/examples/OverloadedLabels.hs" 1 1 1 36)
909        " Basic tests of overloaded labels"
910    ]
911  )
912