1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 1 3 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/ClassContext.hs" 1 1 1 1
7            , SrcSpan "tests/examples/ClassContext.hs" 1 1 1 1
8            , SrcSpan "tests/examples/ClassContext.hs" 1 1 1 1
9            , SrcSpan "tests/examples/ClassContext.hs" 2 1 2 1
10            , SrcSpan "tests/examples/ClassContext.hs" 3 1 3 1
11            , SrcSpan "tests/examples/ClassContext.hs" 3 1 3 1
12            ]
13        }
14      Nothing
15      []
16      []
17      [ TypeSig
18          SrcSpanInfo
19            { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 1 1 35
20            , srcInfoPoints =
21                [ SrcSpan "tests/examples/ClassContext.hs" 1 3 1 5 ]
22            }
23          [ Ident
24              SrcSpanInfo
25                { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 1 1 2
26                , srcInfoPoints = []
27                }
28              "f"
29          ]
30          (TyForall
31             SrcSpanInfo
32               { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 35
33               , srcInfoPoints = []
34               }
35             Nothing
36             (Just
37                (CxSingle
38                   SrcSpanInfo
39                     { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 20
40                     , srcInfoPoints =
41                         [ SrcSpan "tests/examples/ClassContext.hs" 1 18 1 20 ]
42                     }
43                   (TypeA
44                      SrcSpanInfo
45                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 20
46                        , srcInfoPoints =
47                            [ SrcSpan "tests/examples/ClassContext.hs" 1 18 1 20 ]
48                        }
49                      (TyApp
50                         SrcSpanInfo
51                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 20
52                           , srcInfoPoints =
53                               [ SrcSpan "tests/examples/ClassContext.hs" 1 18 1 20 ]
54                           }
55                         (TyCon
56                            SrcSpanInfo
57                              { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 20
58                              , srcInfoPoints =
59                                  [ SrcSpan "tests/examples/ClassContext.hs" 1 18 1 20 ]
60                              }
61                            (UnQual
62                               SrcSpanInfo
63                                 { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 9
64                                 , srcInfoPoints = []
65                                 }
66                               (Ident
67                                  SrcSpanInfo
68                                    { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 9
69                                    , srcInfoPoints = []
70                                    }
71                                  "Ord")))
72                         (TyParen
73                            SrcSpanInfo
74                              { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 10 1 17
75                              , srcInfoPoints =
76                                  [ SrcSpan "tests/examples/ClassContext.hs" 1 10 1 11
77                                  , SrcSpan "tests/examples/ClassContext.hs" 1 16 1 17
78                                  ]
79                              }
80                            (TyApp
81                               SrcSpanInfo
82                                 { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 11 1 16
83                                 , srcInfoPoints = []
84                                 }
85                               (TyVar
86                                  SrcSpanInfo
87                                    { srcInfoSpan =
88                                        SrcSpan "tests/examples/ClassContext.hs" 1 11 1 12
89                                    , srcInfoPoints = []
90                                    }
91                                  (Ident
92                                     SrcSpanInfo
93                                       { srcInfoSpan =
94                                           SrcSpan "tests/examples/ClassContext.hs" 1 11 1 12
95                                       , srcInfoPoints = []
96                                       }
97                                     "i"))
98                               (TyCon
99                                  SrcSpanInfo
100                                    { srcInfoSpan =
101                                        SrcSpan "tests/examples/ClassContext.hs" 1 13 1 16
102                                    , srcInfoPoints = []
103                                    }
104                                  (UnQual
105                                     SrcSpanInfo
106                                       { srcInfoSpan =
107                                           SrcSpan "tests/examples/ClassContext.hs" 1 13 1 16
108                                       , srcInfoPoints = []
109                                       }
110                                     (Ident
111                                        SrcSpanInfo
112                                          { srcInfoSpan =
113                                              SrcSpan "tests/examples/ClassContext.hs" 1 13 1 16
114                                          , srcInfoPoints = []
115                                          }
116                                        "Int")))))))))
117             (TyFun
118                SrcSpanInfo
119                  { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 21 1 35
120                  , srcInfoPoints =
121                      [ SrcSpan "tests/examples/ClassContext.hs" 1 27 1 29 ]
122                  }
123                (TyApp
124                   SrcSpanInfo
125                     { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 21 1 26
126                     , srcInfoPoints = []
127                     }
128                   (TyVar
129                      SrcSpanInfo
130                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 21 1 22
131                        , srcInfoPoints = []
132                        }
133                      (Ident
134                         SrcSpanInfo
135                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 21 1 22
136                           , srcInfoPoints = []
137                           }
138                         "i"))
139                   (TyCon
140                      SrcSpanInfo
141                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 23 1 26
142                        , srcInfoPoints = []
143                        }
144                      (UnQual
145                         SrcSpanInfo
146                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 23 1 26
147                           , srcInfoPoints = []
148                           }
149                         (Ident
150                            SrcSpanInfo
151                              { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 23 1 26
152                              , srcInfoPoints = []
153                              }
154                            "Int"))))
155                (TyApp
156                   SrcSpanInfo
157                     { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 30 1 35
158                     , srcInfoPoints = []
159                     }
160                   (TyVar
161                      SrcSpanInfo
162                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 30 1 31
163                        , srcInfoPoints = []
164                        }
165                      (Ident
166                         SrcSpanInfo
167                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 30 1 31
168                           , srcInfoPoints = []
169                           }
170                         "i"))
171                   (TyCon
172                      SrcSpanInfo
173                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 32 1 35
174                        , srcInfoPoints = []
175                        }
176                      (UnQual
177                         SrcSpanInfo
178                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 32 1 35
179                           , srcInfoPoints = []
180                           }
181                         (Ident
182                            SrcSpanInfo
183                              { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 32 1 35
184                              , srcInfoPoints = []
185                              }
186                            "Int"))))))
187      , PatBind
188          SrcSpanInfo
189            { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 1 2 14
190            , srcInfoPoints = []
191            }
192          (PVar
193             SrcSpanInfo
194               { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 1 2 2
195               , srcInfoPoints = []
196               }
197             (Ident
198                SrcSpanInfo
199                  { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 1 2 2
200                  , srcInfoPoints = []
201                  }
202                "f"))
203          (UnGuardedRhs
204             SrcSpanInfo
205               { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 3 2 14
206               , srcInfoPoints =
207                   [ SrcSpan "tests/examples/ClassContext.hs" 2 3 2 4 ]
208               }
209             (Var
210                SrcSpanInfo
211                  { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 5 2 14
212                  , srcInfoPoints = []
213                  }
214                (UnQual
215                   SrcSpanInfo
216                     { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 5 2 14
217                     , srcInfoPoints = []
218                     }
219                   (Ident
220                      SrcSpanInfo
221                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 5 2 14
222                        , srcInfoPoints = []
223                        }
224                      "undefined"))))
225          Nothing
226      ]
227  , []
228  )
229