ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan =
            SrcSpan "tests/examples/GadtRecordFields.hs" 1 1 6 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/GadtRecordFields.hs" 1 1 1 1
            , SrcSpan "tests/examples/GadtRecordFields.hs" 3 1 3 1
            , SrcSpan "tests/examples/GadtRecordFields.hs" 3 1 3 1
            , SrcSpan "tests/examples/GadtRecordFields.hs" 3 1 3 1
            , SrcSpan "tests/examples/GadtRecordFields.hs" 6 1 6 1
            , SrcSpan "tests/examples/GadtRecordFields.hs" 6 1 6 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/GadtRecordFields.hs" 1 1 1 23
            , srcInfoPoints =
                [ SrcSpan "tests/examples/GadtRecordFields.hs" 1 1 1 13
                , SrcSpan "tests/examples/GadtRecordFields.hs" 1 20 1 23
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan =
                    SrcSpan "tests/examples/GadtRecordFields.hs" 1 14 1 19
                , srcInfoPoints = []
                }
              "GADTs"
          ]
      ]
      []
      [ GDataDecl
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/GadtRecordFields.hs" 3 1 6 0
            , srcInfoPoints =
                [ SrcSpan "tests/examples/GadtRecordFields.hs" 3 9 3 14
                , SrcSpan "tests/examples/GadtRecordFields.hs" 4 3 4 3
                , SrcSpan "tests/examples/GadtRecordFields.hs" 5 3 5 3
                , SrcSpan "tests/examples/GadtRecordFields.hs" 6 1 6 0
                ]
            }
          (DataType
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/GadtRecordFields.hs" 3 1 3 5
               , srcInfoPoints = []
               })
          Nothing
          (DHead
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/GadtRecordFields.hs" 3 6 3 8
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/GadtRecordFields.hs" 3 6 3 8
                  , srcInfoPoints = []
                  }
                "Ty"))
          Nothing
          [ GadtDecl
              SrcSpanInfo
                { srcInfoSpan =
                    SrcSpan "tests/examples/GadtRecordFields.hs" 4 3 4 50
                , srcInfoPoints =
                    [ SrcSpan "tests/examples/GadtRecordFields.hs" 4 8 4 10
                    , SrcSpan "tests/examples/GadtRecordFields.hs" 4 11 4 12
                    , SrcSpan "tests/examples/GadtRecordFields.hs" 4 43 4 44
                    , SrcSpan "tests/examples/GadtRecordFields.hs" 4 45 4 47
                    , SrcSpan "tests/examples/GadtRecordFields.hs" 4 26 4 27
                    ]
                }
              (Ident
                 SrcSpanInfo
                   { srcInfoSpan =
                       SrcSpan "tests/examples/GadtRecordFields.hs" 4 3 4 7
                   , srcInfoPoints = []
                   }
                 "TCon")
              (Just
                 [ FieldDecl
                     SrcSpanInfo
                       { srcInfoSpan =
                           SrcSpan "tests/examples/GadtRecordFields.hs" 4 13 4 26
                       , srcInfoPoints =
                           [ SrcSpan "tests/examples/GadtRecordFields.hs" 4 20 4 22 ]
                       }
                     [ Ident
                         SrcSpanInfo
                           { srcInfoSpan =
                               SrcSpan "tests/examples/GadtRecordFields.hs" 4 13 4 19
                           , srcInfoPoints = []
                           }
                         "field1"
                     ]
                     (TyCon
                        SrcSpanInfo
                          { srcInfoSpan =
                              SrcSpan "tests/examples/GadtRecordFields.hs" 4 23 4 26
                          , srcInfoPoints = []
                          }
                        (UnQual
                           SrcSpanInfo
                             { srcInfoSpan =
                                 SrcSpan "tests/examples/GadtRecordFields.hs" 4 23 4 26
                             , srcInfoPoints = []
                             }
                           (Ident
                              SrcSpanInfo
                                { srcInfoSpan =
                                    SrcSpan "tests/examples/GadtRecordFields.hs" 4 23 4 26
                                , srcInfoPoints = []
                                }
                              "Int")))
                 , FieldDecl
                     SrcSpanInfo
                       { srcInfoSpan =
                           SrcSpan "tests/examples/GadtRecordFields.hs" 4 28 4 42
                       , srcInfoPoints =
                           [ SrcSpan "tests/examples/GadtRecordFields.hs" 4 35 4 37 ]
                       }
                     [ Ident
                         SrcSpanInfo
                           { srcInfoSpan =
                               SrcSpan "tests/examples/GadtRecordFields.hs" 4 28 4 34
                           , srcInfoPoints = []
                           }
                         "field2"
                     ]
                     (TyCon
                        SrcSpanInfo
                          { srcInfoSpan =
                              SrcSpan "tests/examples/GadtRecordFields.hs" 4 38 4 42
                          , srcInfoPoints = []
                          }
                        (UnQual
                           SrcSpanInfo
                             { srcInfoSpan =
                                 SrcSpan "tests/examples/GadtRecordFields.hs" 4 38 4 42
                             , srcInfoPoints = []
                             }
                           (Ident
                              SrcSpanInfo
                                { srcInfoSpan =
                                    SrcSpan "tests/examples/GadtRecordFields.hs" 4 38 4 42
                                , srcInfoPoints = []
                                }
                              "Bool")))
                 ])
              (TyCon
                 SrcSpanInfo
                   { srcInfoSpan =
                       SrcSpan "tests/examples/GadtRecordFields.hs" 4 48 4 50
                   , srcInfoPoints = []
                   }
                 (UnQual
                    SrcSpanInfo
                      { srcInfoSpan =
                          SrcSpan "tests/examples/GadtRecordFields.hs" 4 48 4 50
                      , srcInfoPoints = []
                      }
                    (Ident
                       SrcSpanInfo
                         { srcInfoSpan =
                             SrcSpan "tests/examples/GadtRecordFields.hs" 4 48 4 50
                         , srcInfoPoints = []
                         }
                       "Ty")))
          , GadtDecl
              SrcSpanInfo
                { srcInfoSpan =
                    SrcSpan "tests/examples/GadtRecordFields.hs" 5 3 5 14
                , srcInfoPoints =
                    [ SrcSpan "tests/examples/GadtRecordFields.hs" 5 9 5 11 ]
                }
              (Ident
                 SrcSpanInfo
                   { srcInfoSpan =
                       SrcSpan "tests/examples/GadtRecordFields.hs" 5 3 5 8
                   , srcInfoPoints = []
                   }
                 "TCon2")
              Nothing
              (TyCon
                 SrcSpanInfo
                   { srcInfoSpan =
                       SrcSpan "tests/examples/GadtRecordFields.hs" 5 12 5 14
                   , srcInfoPoints = []
                   }
                 (UnQual
                    SrcSpanInfo
                      { srcInfoSpan =
                          SrcSpan "tests/examples/GadtRecordFields.hs" 5 12 5 14
                      , srcInfoPoints = []
                      }
                    (Ident
                       SrcSpanInfo
                         { srcInfoSpan =
                             SrcSpan "tests/examples/GadtRecordFields.hs" 5 12 5 14
                         , srcInfoPoints = []
                         }
                       "Ty")))
          ]
          Nothing
      ]
  , []
  )