tests/examples/TypeListCons.hs.parser.golden

ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 1 8 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/TypeListCons.hs" 1 1 1 1
            , SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 1
            , SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 1
            , SrcSpan "tests/examples/TypeListCons.hs" 5 1 5 1
            , SrcSpan "tests/examples/TypeListCons.hs" 6 1 6 1
            , SrcSpan "tests/examples/TypeListCons.hs" 7 1 7 1
            , SrcSpan "tests/examples/TypeListCons.hs" 8 1 8 1
            , SrcSpan "tests/examples/TypeListCons.hs" 8 1 8 1
            ]
        }
      (Just
         (ModuleHead
            SrcSpanInfo
              { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 26
              , srcInfoPoints =
                  [ SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 7
                  , SrcSpan "tests/examples/TypeListCons.hs" 3 21 3 26
                  ]
              }
            (ModuleName
               SrcSpanInfo
                 { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 3 8 3 20
                 , srcInfoPoints = []
                 }
               "TypeListCons")
            Nothing
            Nothing))
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 1 1 42
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TypeListCons.hs" 1 1 1 13
                , SrcSpan "tests/examples/TypeListCons.hs" 1 23 1 24
                , SrcSpan "tests/examples/TypeListCons.hs" 1 39 1 42
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 14 1 23
                , srcInfoPoints = []
                }
              "DataKinds"
          , Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 25 1 38
                , srcInfoPoints = []
                }
              "TypeOperators"
          ]
      ]
      []
      [ TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 1 5 24
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TypeListCons.hs" 5 1 5 5
                , SrcSpan "tests/examples/TypeListCons.hs" 5 14 5 15
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 6 5 13
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 6 5 11
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 6 5 11
                     , srcInfoPoints = []
                     }
                   "List1"))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 12 5 13
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 12 5 13
                     , srcInfoPoints = []
                     }
                   "a")))
          (TyInfix
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 24
               , srcInfoPoints = []
               }
             (TyVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 17
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 17
                     , srcInfoPoints = []
                     }
                   "a"))
             (PromotedName
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 20
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 19 ]
                  }
                (Special
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 19 5 20
                     , srcInfoPoints = []
                     }
                   (Cons
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 19 5 20
                        , srcInfoPoints = []
                        })))
             (TyPromoted
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 24
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 22
                      , SrcSpan "tests/examples/TypeListCons.hs" 5 23 5 24
                      ]
                  }
                (PromotedList
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 24
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 22
                         , SrcSpan "tests/examples/TypeListCons.hs" 5 23 5 24
                         ]
                     }
                   True
                   [])))
      , TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 1 6 26
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TypeListCons.hs" 6 1 6 5
                , SrcSpan "tests/examples/TypeListCons.hs" 6 16 6 17
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 15
               , srcInfoPoints = []
               }
             (DHApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 13
                  , srcInfoPoints = []
                  }
                (DHead
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 11
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 11
                        , srcInfoPoints = []
                        }
                      "List2"))
                (UnkindedVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 12 6 13
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 12 6 13
                        , srcInfoPoints = []
                        }
                      "a")))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 14 6 15
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 14 6 15
                     , srcInfoPoints = []
                     }
                   "b")))
          (TyInfix
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 26
               , srcInfoPoints = []
               }
             (TyVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 19
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 19
                     , srcInfoPoints = []
                     }
                   "a"))
             (PromotedName
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 22
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 21 ]
                  }
                (Special
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 21 6 22
                     , srcInfoPoints = []
                     }
                   (Cons
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 21 6 22
                        , srcInfoPoints = []
                        })))
             (TyPromoted
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 26
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 24
                      , SrcSpan "tests/examples/TypeListCons.hs" 6 25 6 26
                      ]
                  }
                (PromotedList
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 26
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 24
                         , SrcSpan "tests/examples/TypeListCons.hs" 6 25 6 26
                         ]
                     }
                   True
                   [])))
      , TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 1 7 38
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TypeListCons.hs" 7 1 7 5
                , SrcSpan "tests/examples/TypeListCons.hs" 7 18 7 19
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 17
               , srcInfoPoints = []
               }
             (DHApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 15
                  , srcInfoPoints = []
                  }
                (DHApp
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 13
                     , srcInfoPoints = []
                     }
                   (DHead
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 11
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 11
                           , srcInfoPoints = []
                           }
                         "List3"))
                   (UnkindedVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 12 7 13
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 12 7 13
                           , srcInfoPoints = []
                           }
                         "a")))
                (UnkindedVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 14 7 15
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 14 7 15
                        , srcInfoPoints = []
                        }
                      "b")))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 16 7 17
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 16 7 17
                     , srcInfoPoints = []
                     }
                   "c")))
          (TyInfix
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 38
               , srcInfoPoints = []
               }
             (TyVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 21
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 21
                     , srcInfoPoints = []
                     }
                   "a"))
             (PromotedName
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 24
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 23 ]
                  }
                (Special
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 23 7 24
                     , srcInfoPoints = []
                     }
                   (Cons
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 23 7 24
                        , srcInfoPoints = []
                        })))
             (TyInfix
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 25 7 38
                  , srcInfoPoints = []
                  }
                (TyVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 25 7 26
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 25 7 26
                        , srcInfoPoints = []
                        }
                      "b"))
                (PromotedName
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 29
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 28 ]
                     }
                   (Special
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 28 7 29
                        , srcInfoPoints = []
                        }
                      (Cons
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 28 7 29
                           , srcInfoPoints = []
                           })))
                (TyInfix
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 30 7 38
                     , srcInfoPoints = []
                     }
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 30 7 31
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 30 7 31
                           , srcInfoPoints = []
                           }
                         "c"))
                   (PromotedName
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 34
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 33 ]
                        }
                      (Special
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 33 7 34
                           , srcInfoPoints = []
                           }
                         (Cons
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 33 7 34
                              , srcInfoPoints = []
                              })))
                   (TyPromoted
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 38
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 36
                            , SrcSpan "tests/examples/TypeListCons.hs" 7 37 7 38
                            ]
                        }
                      (PromotedList
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 38
                           , srcInfoPoints =
                               [ SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 36
                               , SrcSpan "tests/examples/TypeListCons.hs" 7 37 7 38
                               ]
                           }
                         True
                         [])))))
      ]
  , []
  )