1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 1 7 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/CxtWhitespace.hs" 2 1 2 1
7            , SrcSpan "tests/examples/CxtWhitespace.hs" 2 1 2 1
8            , SrcSpan "tests/examples/CxtWhitespace.hs" 2 1 2 1
9            , SrcSpan "tests/examples/CxtWhitespace.hs" 5 1 5 1
10            , SrcSpan "tests/examples/CxtWhitespace.hs" 7 1 7 1
11            , SrcSpan "tests/examples/CxtWhitespace.hs" 7 1 7 1
12            ]
13        }
14      Nothing
15      []
16      []
17      [ InstDecl
18          SrcSpanInfo
19            { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 1 2 25
20            , srcInfoPoints =
21                [ SrcSpan "tests/examples/CxtWhitespace.hs" 2 1 2 9 ]
22            }
23          Nothing
24          (IRule
25             SrcSpanInfo
26               { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 10 2 25
27               , srcInfoPoints = []
28               }
29             Nothing
30             (Just
31                (CxSingle
32                   SrcSpanInfo
33                     { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 10 2 20
34                     , srcInfoPoints =
35                         [ SrcSpan "tests/examples/CxtWhitespace.hs" 2 10 2 11
36                         , SrcSpan "tests/examples/CxtWhitespace.hs" 2 16 2 17
37                         , SrcSpan "tests/examples/CxtWhitespace.hs" 2 18 2 20
38                         ]
39                     }
40                   (ParenA
41                      SrcSpanInfo
42                        { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 10 2 20
43                        , srcInfoPoints =
44                            [ SrcSpan "tests/examples/CxtWhitespace.hs" 2 10 2 11
45                            , SrcSpan "tests/examples/CxtWhitespace.hs" 2 16 2 17
46                            , SrcSpan "tests/examples/CxtWhitespace.hs" 2 18 2 20
47                            ]
48                        }
49                      (TypeA
50                         SrcSpanInfo
51                           { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 12 2 16
52                           , srcInfoPoints = []
53                           }
54                         (TyApp
55                            SrcSpanInfo
56                              { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 12 2 16
57                              , srcInfoPoints = []
58                              }
59                            (TyCon
60                               SrcSpanInfo
61                                 { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 12 2 16
62                                 , srcInfoPoints = []
63                                 }
64                               (UnQual
65                                  SrcSpanInfo
66                                    { srcInfoSpan =
67                                        SrcSpan "tests/examples/CxtWhitespace.hs" 2 12 2 14
68                                    , srcInfoPoints = []
69                                    }
70                                  (Ident
71                                     SrcSpanInfo
72                                       { srcInfoSpan =
73                                           SrcSpan "tests/examples/CxtWhitespace.hs" 2 12 2 14
74                                       , srcInfoPoints = []
75                                       }
76                                     "Eq")))
77                            (TyVar
78                               SrcSpanInfo
79                                 { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 15 2 16
80                                 , srcInfoPoints = []
81                                 }
82                               (Ident
83                                  SrcSpanInfo
84                                    { srcInfoSpan =
85                                        SrcSpan "tests/examples/CxtWhitespace.hs" 2 15 2 16
86                                    , srcInfoPoints = []
87                                    }
88                                  "h")))))))
89             (IHApp
90                SrcSpanInfo
91                  { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 21 2 25
92                  , srcInfoPoints = []
93                  }
94                (IHCon
95                   SrcSpanInfo
96                     { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 21 2 23
97                     , srcInfoPoints = []
98                     }
99                   (UnQual
100                      SrcSpanInfo
101                        { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 21 2 23
102                        , srcInfoPoints = []
103                        }
104                      (Ident
105                         SrcSpanInfo
106                           { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 21 2 23
107                           , srcInfoPoints = []
108                           }
109                         "Eq")))
110                (TyVar
111                   SrcSpanInfo
112                     { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 24 2 25
113                     , srcInfoPoints = []
114                     }
115                   (Ident
116                      SrcSpanInfo
117                        { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 2 24 2 25
118                        , srcInfoPoints = []
119                        }
120                      "h"))))
121          Nothing
122      , InstDecl
123          SrcSpanInfo
124            { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 1 5 31
125            , srcInfoPoints =
126                [ SrcSpan "tests/examples/CxtWhitespace.hs" 5 1 5 9 ]
127            }
128          Nothing
129          (IRule
130             SrcSpanInfo
131               { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 10 5 31
132               , srcInfoPoints = []
133               }
134             Nothing
135             (Just
136                (CxTuple
137                   SrcSpanInfo
138                     { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 10 5 26
139                     , srcInfoPoints =
140                         [ SrcSpan "tests/examples/CxtWhitespace.hs" 5 10 5 11
141                         , SrcSpan "tests/examples/CxtWhitespace.hs" 5 16 5 17
142                         , SrcSpan "tests/examples/CxtWhitespace.hs" 5 22 5 23
143                         , SrcSpan "tests/examples/CxtWhitespace.hs" 5 24 5 26
144                         ]
145                     }
146                   [ TypeA
147                       SrcSpanInfo
148                         { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 12 5 16
149                         , srcInfoPoints = []
150                         }
151                       (TyApp
152                          SrcSpanInfo
153                            { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 12 5 16
154                            , srcInfoPoints = []
155                            }
156                          (TyCon
157                             SrcSpanInfo
158                               { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 12 5 16
159                               , srcInfoPoints = []
160                               }
161                             (UnQual
162                                SrcSpanInfo
163                                  { srcInfoSpan =
164                                      SrcSpan "tests/examples/CxtWhitespace.hs" 5 12 5 14
165                                  , srcInfoPoints = []
166                                  }
167                                (Ident
168                                   SrcSpanInfo
169                                     { srcInfoSpan =
170                                         SrcSpan "tests/examples/CxtWhitespace.hs" 5 12 5 14
171                                     , srcInfoPoints = []
172                                     }
173                                   "Eq")))
174                          (TyVar
175                             SrcSpanInfo
176                               { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 15 5 16
177                               , srcInfoPoints = []
178                               }
179                             (Ident
180                                SrcSpanInfo
181                                  { srcInfoSpan =
182                                      SrcSpan "tests/examples/CxtWhitespace.hs" 5 15 5 16
183                                  , srcInfoPoints = []
184                                  }
185                                "h")))
186                   , TypeA
187                       SrcSpanInfo
188                         { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 18 5 22
189                         , srcInfoPoints = []
190                         }
191                       (TyApp
192                          SrcSpanInfo
193                            { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 18 5 22
194                            , srcInfoPoints = []
195                            }
196                          (TyCon
197                             SrcSpanInfo
198                               { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 18 5 22
199                               , srcInfoPoints = []
200                               }
201                             (UnQual
202                                SrcSpanInfo
203                                  { srcInfoSpan =
204                                      SrcSpan "tests/examples/CxtWhitespace.hs" 5 18 5 20
205                                  , srcInfoPoints = []
206                                  }
207                                (Ident
208                                   SrcSpanInfo
209                                     { srcInfoSpan =
210                                         SrcSpan "tests/examples/CxtWhitespace.hs" 5 18 5 20
211                                     , srcInfoPoints = []
212                                     }
213                                   "Eq")))
214                          (TyVar
215                             SrcSpanInfo
216                               { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 21 5 22
217                               , srcInfoPoints = []
218                               }
219                             (Ident
220                                SrcSpanInfo
221                                  { srcInfoSpan =
222                                      SrcSpan "tests/examples/CxtWhitespace.hs" 5 21 5 22
223                                  , srcInfoPoints = []
224                                  }
225                                "h")))
226                   ]))
227             (IHApp
228                SrcSpanInfo
229                  { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 27 5 31
230                  , srcInfoPoints = []
231                  }
232                (IHCon
233                   SrcSpanInfo
234                     { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 27 5 29
235                     , srcInfoPoints = []
236                     }
237                   (UnQual
238                      SrcSpanInfo
239                        { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 27 5 29
240                        , srcInfoPoints = []
241                        }
242                      (Ident
243                         SrcSpanInfo
244                           { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 27 5 29
245                           , srcInfoPoints = []
246                           }
247                         "Eq")))
248                (TyVar
249                   SrcSpanInfo
250                     { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 30 5 31
251                     , srcInfoPoints = []
252                     }
253                   (Ident
254                      SrcSpanInfo
255                        { srcInfoSpan = SrcSpan "tests/examples/CxtWhitespace.hs" 5 30 5 31
256                        , srcInfoPoints = []
257                        }
258                      "h"))))
259          Nothing
260      ]
261  , [ Comment
262        False
263        (SrcSpan "tests/examples/CxtWhitespace.hs" 1 1 1 13)
264        " is not ok"
265    , Comment
266        False (SrcSpan "tests/examples/CxtWhitespace.hs" 4 1 4 9) " is ok"
267    ]
268  )
269