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