1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 1 1 9 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/AtOperator.hs" 1 1 1 1
7            , SrcSpan "tests/examples/AtOperator.hs" 2 1 2 1
8            , SrcSpan "tests/examples/AtOperator.hs" 4 1 4 1
9            , SrcSpan "tests/examples/AtOperator.hs" 4 1 4 1
10            , SrcSpan "tests/examples/AtOperator.hs" 4 1 4 1
11            , SrcSpan "tests/examples/AtOperator.hs" 6 1 6 1
12            , SrcSpan "tests/examples/AtOperator.hs" 8 1 8 1
13            , SrcSpan "tests/examples/AtOperator.hs" 9 1 9 1
14            , SrcSpan "tests/examples/AtOperator.hs" 9 1 9 1
15            ]
16        }
17      Nothing
18      [ LanguagePragma
19          SrcSpanInfo
20            { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 1 1 1 34
21            , srcInfoPoints =
22                [ SrcSpan "tests/examples/AtOperator.hs" 1 1 1 13
23                , SrcSpan "tests/examples/AtOperator.hs" 1 31 1 34
24                ]
25            }
26          [ Ident
27              SrcSpanInfo
28                { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 1 14 1 30
29                , srcInfoPoints = []
30                }
31              "TypeApplications"
32          ]
33      , LanguagePragma
34          SrcSpanInfo
35            { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 2 1 2 31
36            , srcInfoPoints =
37                [ SrcSpan "tests/examples/AtOperator.hs" 2 1 2 13
38                , SrcSpan "tests/examples/AtOperator.hs" 2 28 2 31
39                ]
40            }
41          [ Ident
42              SrcSpanInfo
43                { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 2 14 2 27
44                , srcInfoPoints = []
45                }
46              "TypeOperators"
47          ]
48      ]
49      []
50      [ DataDecl
51          SrcSpanInfo
52            { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 1 4 21
53            , srcInfoPoints =
54                [ SrcSpan "tests/examples/AtOperator.hs" 4 14 4 15 ]
55            }
56          (DataType
57             SrcSpanInfo
58               { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 1 4 5
59               , srcInfoPoints = []
60               })
61          Nothing
62          (DHApp
63             SrcSpanInfo
64               { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 6 4 13
65               , srcInfoPoints = []
66               }
67             (DHInfix
68                SrcSpanInfo
69                  { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 6 4 13
70                  , srcInfoPoints = []
71                  }
72                (UnkindedVar
73                   SrcSpanInfo
74                     { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 6 4 7
75                     , srcInfoPoints = []
76                     }
77                   (Ident
78                      SrcSpanInfo
79                        { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 6 4 7
80                        , srcInfoPoints = []
81                        }
82                      "a"))
83                (Symbol
84                   SrcSpanInfo
85                     { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 8 4 11
86                     , srcInfoPoints = []
87                     }
88                   ":+:"))
89             (UnkindedVar
90                SrcSpanInfo
91                  { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 12 4 13
92                  , srcInfoPoints = []
93                  }
94                (Ident
95                   SrcSpanInfo
96                     { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 12 4 13
97                     , srcInfoPoints = []
98                     }
99                   "b")))
100          [ QualConDecl
101              SrcSpanInfo
102                { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 16 4 21
103                , srcInfoPoints = []
104                }
105              Nothing
106              Nothing
107              (ConDecl
108                 SrcSpanInfo
109                   { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 16 4 21
110                   , srcInfoPoints = []
111                   }
112                 (Ident
113                    SrcSpanInfo
114                      { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 4 16 4 21
115                      , srcInfoPoints = []
116                      }
117                    "Proxy")
118                 [])
119          ]
120          []
121      , PatBind
122          SrcSpanInfo
123            { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 1 6 24
124            , srcInfoPoints = []
125            }
126          (PVar
127             SrcSpanInfo
128               { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 1 6 4
129               , srcInfoPoints = []
130               }
131             (Ident
132                SrcSpanInfo
133                  { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 1 6 4
134                  , srcInfoPoints = []
135                  }
136                "foo"))
137          (UnGuardedRhs
138             SrcSpanInfo
139               { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 5 6 24
140               , srcInfoPoints =
141                   [ SrcSpan "tests/examples/AtOperator.hs" 6 5 6 6 ]
142               }
143             (App
144                SrcSpanInfo
145                  { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 7 6 24
146                  , srcInfoPoints = []
147                  }
148                (Var
149                   SrcSpanInfo
150                     { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 7 6 9
151                     , srcInfoPoints = []
152                     }
153                   (UnQual
154                      SrcSpanInfo
155                        { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 7 6 9
156                        , srcInfoPoints = []
157                        }
158                      (Ident
159                         SrcSpanInfo
160                           { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 7 6 9
161                           , srcInfoPoints = []
162                           }
163                         "id")))
164                (TypeApp
165                   SrcSpanInfo
166                     { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 10 6 24
167                     , srcInfoPoints =
168                         [ SrcSpan "tests/examples/AtOperator.hs" 6 10 6 11 ]
169                     }
170                   (TyParen
171                      SrcSpanInfo
172                        { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 11 6 24
173                        , srcInfoPoints =
174                            [ SrcSpan "tests/examples/AtOperator.hs" 6 11 6 12
175                            , SrcSpan "tests/examples/AtOperator.hs" 6 23 6 24
176                            ]
177                        }
178                      (TyInfix
179                         SrcSpanInfo
180                           { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 12 6 23
181                           , srcInfoPoints = []
182                           }
183                         (TyCon
184                            SrcSpanInfo
185                              { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 12 6 15
186                              , srcInfoPoints = []
187                              }
188                            (UnQual
189                               SrcSpanInfo
190                                 { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 12 6 15
191                                 , srcInfoPoints = []
192                                 }
193                               (Ident
194                                  SrcSpanInfo
195                                    { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 12 6 15
196                                    , srcInfoPoints = []
197                                    }
198                                  "Int")))
199                         (UnpromotedName
200                            SrcSpanInfo
201                              { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 16 6 19
202                              , srcInfoPoints = []
203                              }
204                            (UnQual
205                               SrcSpanInfo
206                                 { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 16 6 19
207                                 , srcInfoPoints = []
208                                 }
209                               (Symbol
210                                  SrcSpanInfo
211                                    { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 16 6 19
212                                    , srcInfoPoints = []
213                                    }
214                                  ":+:")))
215                         (TyCon
216                            SrcSpanInfo
217                              { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 20 6 23
218                              , srcInfoPoints = []
219                              }
220                            (UnQual
221                               SrcSpanInfo
222                                 { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 20 6 23
223                                 , srcInfoPoints = []
224                                 }
225                               (Ident
226                                  SrcSpanInfo
227                                    { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 6 20 6 23
228                                    , srcInfoPoints = []
229                                    }
230                                  "Int"))))))))
231          Nothing
232      , FunBind
233          SrcSpanInfo
234            { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 1 8 11
235            , srcInfoPoints = []
236            }
237          [ InfixMatch
238              SrcSpanInfo
239                { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 1 8 11
240                , srcInfoPoints = []
241                }
242              (PWildCard
243                 SrcSpanInfo
244                   { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 1 8 2
245                   , srcInfoPoints = []
246                   })
247              (Symbol
248                 SrcSpanInfo
249                   { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 3 8 5
250                   , srcInfoPoints = []
251                   }
252                 "@>")
253              [ PVar
254                  SrcSpanInfo
255                    { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 6 8 7
256                    , srcInfoPoints = []
257                    }
258                  (Ident
259                     SrcSpanInfo
260                       { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 6 8 7
261                       , srcInfoPoints = []
262                       }
263                     "m")
264              ]
265              (UnGuardedRhs
266                 SrcSpanInfo
267                   { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 8 8 11
268                   , srcInfoPoints =
269                       [ SrcSpan "tests/examples/AtOperator.hs" 8 8 8 9 ]
270                   }
271                 (Var
272                    SrcSpanInfo
273                      { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 10 8 11
274                      , srcInfoPoints = []
275                      }
276                    (UnQual
277                       SrcSpanInfo
278                         { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 10 8 11
279                         , srcInfoPoints = []
280                         }
281                       (Ident
282                          SrcSpanInfo
283                            { srcInfoSpan = SrcSpan "tests/examples/AtOperator.hs" 8 10 8 11
284                            , srcInfoPoints = []
285                            }
286                          "m"))))
287              Nothing
288          ]
289      ]
290  , []
291  )
292