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