1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 1 1 5 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/RecordPuns.hs" 1 1 1 1
7            , SrcSpan "tests/examples/RecordPuns.hs" 2 1 2 1
8            , SrcSpan "tests/examples/RecordPuns.hs" 2 1 2 1
9            , SrcSpan "tests/examples/RecordPuns.hs" 4 1 4 1
10            , SrcSpan "tests/examples/RecordPuns.hs" 5 1 5 1
11            , SrcSpan "tests/examples/RecordPuns.hs" 5 1 5 1
12            ]
13        }
14      (Just
15         (ModuleHead
16            SrcSpanInfo
17              { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 2 1 2 24
18              , srcInfoPoints =
19                  [ SrcSpan "tests/examples/RecordPuns.hs" 2 1 2 7
20                  , SrcSpan "tests/examples/RecordPuns.hs" 2 19 2 24
21                  ]
22              }
23            (ModuleName
24               SrcSpanInfo
25                 { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 2 8 2 18
26                 , srcInfoPoints = []
27                 }
28               "RecordPuns")
29            Nothing
30            Nothing))
31      [ LanguagePragma
32          SrcSpanInfo
33            { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 1 1 1 32
34            , srcInfoPoints =
35                [ SrcSpan "tests/examples/RecordPuns.hs" 1 1 1 13
36                , SrcSpan "tests/examples/RecordPuns.hs" 1 29 1 32
37                ]
38            }
39          [ Ident
40              SrcSpanInfo
41                { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 1 14 1 28
42                , srcInfoPoints = []
43                }
44              "NamedFieldPuns"
45          ]
46      ]
47      []
48      [ PatBind
49          SrcSpanInfo
50            { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 1 4 30
51            , srcInfoPoints = []
52            }
53          (PVar
54             SrcSpanInfo
55               { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 1 4 7
56               , srcInfoPoints = []
57               }
58             (Ident
59                SrcSpanInfo
60                  { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 1 4 7
61                  , srcInfoPoints = []
62                  }
63                "cotile"))
64          (UnGuardedRhs
65             SrcSpanInfo
66               { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 8 4 30
67               , srcInfoPoints =
68                   [ SrcSpan "tests/examples/RecordPuns.hs" 4 8 4 9 ]
69               }
70             (RecUpdate
71                SrcSpanInfo
72                  { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 10 4 30
73                  , srcInfoPoints =
74                      [ SrcSpan "tests/examples/RecordPuns.hs" 4 15 4 16
75                      , SrcSpan "tests/examples/RecordPuns.hs" 4 29 4 30
76                      ]
77                  }
78                (Var
79                   SrcSpanInfo
80                     { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 10 4 14
81                     , srcInfoPoints = []
82                     }
83                   (UnQual
84                      SrcSpanInfo
85                        { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 10 4 14
86                        , srcInfoPoints = []
87                        }
88                      (Ident
89                         SrcSpanInfo
90                           { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 10 4 14
91                           , srcInfoPoints = []
92                           }
93                         "tile")))
94                [ FieldPun
95                    SrcSpanInfo
96                      { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 16 4 29
97                      , srcInfoPoints = []
98                      }
99                    (Qual
100                       SrcSpanInfo
101                         { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 16 4 29
102                         , srcInfoPoints = []
103                         }
104                       (ModuleName
105                          SrcSpanInfo
106                            { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 16 4 29
107                            , srcInfoPoints = []
108                            }
109                          "Kind")
110                       (Ident
111                          SrcSpanInfo
112                            { srcInfoSpan = SrcSpan "tests/examples/RecordPuns.hs" 4 16 4 29
113                            , srcInfoPoints = []
114                            }
115                          "ospeedup"))
116                ]))
117          Nothing
118      ]
119  , []
120  )
121