packages feed

haskell-src-exts-1.20.0: tests/examples/PolyKindSigs.hs.parser.golden

ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 1 1 9 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/PolyKindSigs.hs" 1 1 1 1
            , SrcSpan "tests/examples/PolyKindSigs.hs" 3 1 3 1
            , SrcSpan "tests/examples/PolyKindSigs.hs" 5 1 5 1
            , SrcSpan "tests/examples/PolyKindSigs.hs" 5 1 5 1
            , SrcSpan "tests/examples/PolyKindSigs.hs" 7 1 7 1
            , SrcSpan "tests/examples/PolyKindSigs.hs" 9 1 9 1
            , SrcSpan "tests/examples/PolyKindSigs.hs" 9 1 9 1
            ]
        }
      (Just
         (ModuleHead
            SrcSpanInfo
              { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 5 1 5 18
              , srcInfoPoints =
                  [ SrcSpan "tests/examples/PolyKindSigs.hs" 5 1 5 7
                  , SrcSpan "tests/examples/PolyKindSigs.hs" 5 13 5 18
                  ]
              }
            (ModuleName
               SrcSpanInfo
                 { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 5 8 5 12
                 , srcInfoPoints = []
                 }
               "Test")
            Nothing
            Nothing))
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 1 1 1 32
            , srcInfoPoints =
                [ SrcSpan "tests/examples/PolyKindSigs.hs" 1 1 1 13
                , SrcSpan "tests/examples/PolyKindSigs.hs" 1 29 1 32
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 1 14 1 19
                , srcInfoPoints = []
                }
              "GADTs"
          ]
      , LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 3 1 3 32
            , srcInfoPoints =
                [ SrcSpan "tests/examples/PolyKindSigs.hs" 3 1 3 13
                , SrcSpan "tests/examples/PolyKindSigs.hs" 3 29 3 32
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 3 14 3 23
                , srcInfoPoints = []
                }
              "PolyKinds"
          ]
      ]
      []
      [ GDataDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 1 9 0
            , srcInfoPoints =
                [ SrcSpan "tests/examples/PolyKindSigs.hs" 7 10 7 12
                , SrcSpan "tests/examples/PolyKindSigs.hs" 7 20 7 25
                , SrcSpan "tests/examples/PolyKindSigs.hs" 8 3 8 3
                , SrcSpan "tests/examples/PolyKindSigs.hs" 9 1 9 0
                ]
            }
          (DataType
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 1 7 5
               , srcInfoPoints = []
               })
          Nothing
          (DHead
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 6 7 9
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 6 7 9
                  , srcInfoPoints = []
                  }
                "Foo"))
          (Just
             (KindFn
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 13 7 19
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/PolyKindSigs.hs" 7 15 7 17 ]
                  }
                (KindStar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 13 7 14
                     , srcInfoPoints = []
                     })
                (KindStar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 18 7 19
                     , srcInfoPoints = []
                     })))
          [ GadtDecl
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 3 8 15
                , srcInfoPoints =
                    [ SrcSpan "tests/examples/PolyKindSigs.hs" 8 7 8 9 ]
                }
              (Ident
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 3 8 6
                   , srcInfoPoints = []
                   }
                 "Foo")
              Nothing
              (TyApp
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 10 8 15
                   , srcInfoPoints = []
                   }
                 (TyCon
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 10 8 13
                      , srcInfoPoints = []
                      }
                    (UnQual
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 10 8 13
                         , srcInfoPoints = []
                         }
                       (Ident
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 10 8 13
                            , srcInfoPoints = []
                            }
                          "Foo")))
                 (TyVar
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 14 8 15
                      , srcInfoPoints = []
                      }
                    (Ident
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 14 8 15
                         , srcInfoPoints = []
                         }
                       "a")))
          ]
          []
      ]
  , [ Comment
        False
        (SrcSpan "tests/examples/PolyKindSigs.hs" 2 1 2 34)
        "{-# LANGUAGE KindSignatures #-}"
    ]
  )