1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan =
5            SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 4 1
6        , srcInfoPoints =
7            [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 1 1
8            , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 1
9            , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 1
10            , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 1
11            , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 1
12            , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 4 1 4 1
13            , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 4 1 4 1
14            ]
15        }
16      Nothing
17      [ LanguagePragma
18          SrcSpanInfo
19            { srcInfoSpan =
20                SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 1 34
21            , srcInfoPoints =
22                [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 1 13
23                , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 31 1 34
24                ]
25            }
26          [ Ident
27              SrcSpanInfo
28                { srcInfoSpan =
29                    SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 14 1 30
30                , srcInfoPoints = []
31                }
32              "FlexibleContexts"
33          ]
34      ]
35      []
36      [ TypeSig
37          SrcSpanInfo
38            { srcInfoSpan =
39                SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 25
40            , srcInfoPoints =
41                [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 3 2 5 ]
42            }
43          [ Ident
44              SrcSpanInfo
45                { srcInfoSpan =
46                    SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 2
47                , srcInfoPoints = []
48                }
49              "f"
50          ]
51          (TyForall
52             SrcSpanInfo
53               { srcInfoSpan =
54                   SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 25
55               , srcInfoPoints = []
56               }
57             Nothing
58             (Just
59                (CxSingle
60                   SrcSpanInfo
61                     { srcInfoSpan =
62                         SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 18
63                     , srcInfoPoints =
64                         [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 16 2 18
65                         ]
66                     }
67                   (TypeA
68                      SrcSpanInfo
69                        { srcInfoSpan =
70                            SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 18
71                        , srcInfoPoints =
72                            [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 16 2 18
73                            ]
74                        }
75                      (TyCon
76                         SrcSpanInfo
77                           { srcInfoSpan =
78                               SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 18
79                           , srcInfoPoints =
80                               [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 16 2 18
81                               ]
82                           }
83                         (Qual
84                            SrcSpanInfo
85                              { srcInfoSpan =
86                                  SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 15
87                              , srcInfoPoints = []
88                              }
89                            (ModuleName
90                               SrcSpanInfo
91                                 { srcInfoSpan =
92                                     SrcSpan
93                                       "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 15
94                                 , srcInfoPoints = []
95                                 }
96                               "Log")
97                            (Ident
98                               SrcSpanInfo
99                                 { srcInfoSpan =
100                                     SrcSpan
101                                       "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 15
102                                 , srcInfoPoints = []
103                                 }
104                               "Stack"))))))
105             (TyFun
106                SrcSpanInfo
107                  { srcInfoSpan =
108                      SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 19 2 25
109                  , srcInfoPoints =
110                      [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 21 2 23
111                      ]
112                  }
113                (TyVar
114                   SrcSpanInfo
115                     { srcInfoSpan =
116                         SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 19 2 20
117                     , srcInfoPoints = []
118                     }
119                   (Ident
120                      SrcSpanInfo
121                        { srcInfoSpan =
122                            SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 19 2 20
123                        , srcInfoPoints = []
124                        }
125                      "a"))
126                (TyVar
127                   SrcSpanInfo
128                     { srcInfoSpan =
129                         SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 24 2 25
130                     , srcInfoPoints = []
131                     }
132                   (Ident
133                      SrcSpanInfo
134                        { srcInfoSpan =
135                            SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 24 2 25
136                        , srcInfoPoints = []
137                        }
138                      "a"))))
139      , PatBind
140          SrcSpanInfo
141            { srcInfoSpan =
142                SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 7
143            , srcInfoPoints = []
144            }
145          (PVar
146             SrcSpanInfo
147               { srcInfoSpan =
148                   SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 2
149               , srcInfoPoints = []
150               }
151             (Ident
152                SrcSpanInfo
153                  { srcInfoSpan =
154                      SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 2
155                  , srcInfoPoints = []
156                  }
157                "f"))
158          (UnGuardedRhs
159             SrcSpanInfo
160               { srcInfoSpan =
161                   SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 3 3 7
162               , srcInfoPoints =
163                   [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 3 3 4 ]
164               }
165             (Var
166                SrcSpanInfo
167                  { srcInfoSpan =
168                      SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 5 3 7
169                  , srcInfoPoints = []
170                  }
171                (UnQual
172                   SrcSpanInfo
173                     { srcInfoSpan =
174                         SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 5 3 7
175                     , srcInfoPoints = []
176                     }
177                   (Ident
178                      SrcSpanInfo
179                        { srcInfoSpan =
180                            SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 5 3 7
181                        , srcInfoPoints = []
182                        }
183                      "id"))))
184          Nothing
185      ]
186  , []
187  )
188