1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 1 1 5 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/GADTRecord.hs" 1 1 1 1
7            , SrcSpan "tests/examples/GADTRecord.hs" 3 1 3 1
8            , SrcSpan "tests/examples/GADTRecord.hs" 3 1 3 1
9            , SrcSpan "tests/examples/GADTRecord.hs" 3 1 3 1
10            , SrcSpan "tests/examples/GADTRecord.hs" 5 1 5 1
11            , SrcSpan "tests/examples/GADTRecord.hs" 5 1 5 1
12            ]
13        }
14      Nothing
15      [ LanguagePragma
16          SrcSpanInfo
17            { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 1 1 1 23
18            , srcInfoPoints =
19                [ SrcSpan "tests/examples/GADTRecord.hs" 1 1 1 13
20                , SrcSpan "tests/examples/GADTRecord.hs" 1 20 1 23
21                ]
22            }
23          [ Ident
24              SrcSpanInfo
25                { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 1 14 1 19
26                , srcInfoPoints = []
27                }
28              "GADTs"
29          ]
30      ]
31      []
32      [ GDataDecl
33          SrcSpanInfo
34            { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 3 1 5 0
35            , srcInfoPoints =
36                [ SrcSpan "tests/examples/GADTRecord.hs" 3 8 3 13
37                , SrcSpan "tests/examples/GADTRecord.hs" 4 3 4 3
38                , SrcSpan "tests/examples/GADTRecord.hs" 5 1 5 0
39                ]
40            }
41          (DataType
42             SrcSpanInfo
43               { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 3 1 3 5
44               , srcInfoPoints = []
45               })
46          Nothing
47          (DHead
48             SrcSpanInfo
49               { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 3 6 3 7
50               , srcInfoPoints = []
51               }
52             (Ident
53                SrcSpanInfo
54                  { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 3 6 3 7
55                  , srcInfoPoints = []
56                  }
57                "T"))
58          Nothing
59          [ GadtDecl
60              SrcSpanInfo
61                { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 3 4 29
62                , srcInfoPoints =
63                    [ SrcSpan "tests/examples/GADTRecord.hs" 4 5 4 7
64                    , SrcSpan "tests/examples/GADTRecord.hs" 4 8 4 9
65                    , SrcSpan "tests/examples/GADTRecord.hs" 4 23 4 24
66                    , SrcSpan "tests/examples/GADTRecord.hs" 4 25 4 27
67                    ]
68                }
69              (Ident
70                 SrcSpanInfo
71                   { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 3 4 4
72                   , srcInfoPoints = []
73                   }
74                 "T")
75              Nothing
76              Nothing
77              (Just
78                 [ FieldDecl
79                     SrcSpanInfo
80                       { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 10 4 22
81                       , srcInfoPoints =
82                           [ SrcSpan "tests/examples/GADTRecord.hs" 4 16 4 18 ]
83                       }
84                     [ Ident
85                         SrcSpanInfo
86                           { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 10 4 15
87                           , srcInfoPoints = []
88                           }
89                         "field"
90                     ]
91                     (TyCon
92                        SrcSpanInfo
93                          { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 19 4 22
94                          , srcInfoPoints = []
95                          }
96                        (UnQual
97                           SrcSpanInfo
98                             { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 19 4 22
99                             , srcInfoPoints = []
100                             }
101                           (Ident
102                              SrcSpanInfo
103                                { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 19 4 22
104                                , srcInfoPoints = []
105                                }
106                              "Int")))
107                 ])
108              (TyCon
109                 SrcSpanInfo
110                   { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 28 4 29
111                   , srcInfoPoints = []
112                   }
113                 (UnQual
114                    SrcSpanInfo
115                      { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 28 4 29
116                      , srcInfoPoints = []
117                      }
118                    (Ident
119                       SrcSpanInfo
120                         { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 28 4 29
121                         , srcInfoPoints = []
122                         }
123                       "T")))
124          ]
125          []
126      ]
127  , []
128  )
129