packages feed

haskell-src-exts-1.24.0: tests/examples/InstanceSigs.hs.parser.golden

ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 1 1 10 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/InstanceSigs.hs" 1 1 1 1
            , SrcSpan "tests/examples/InstanceSigs.hs" 2 1 2 1
            , SrcSpan "tests/examples/InstanceSigs.hs" 3 1 3 1
            , SrcSpan "tests/examples/InstanceSigs.hs" 5 1 5 1
            , SrcSpan "tests/examples/InstanceSigs.hs" 5 1 5 1
            , SrcSpan "tests/examples/InstanceSigs.hs" 5 1 5 1
            , SrcSpan "tests/examples/InstanceSigs.hs" 10 1 10 1
            , SrcSpan "tests/examples/InstanceSigs.hs" 10 1 10 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 1 1 1 37
            , srcInfoPoints =
                [ SrcSpan "tests/examples/InstanceSigs.hs" 1 1 1 13
                , SrcSpan "tests/examples/InstanceSigs.hs" 1 34 1 37
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 1 14 1 33
                , srcInfoPoints = []
                }
              "ScopedTypeVariables"
          ]
      , LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 2 1 2 30
            , srcInfoPoints =
                [ SrcSpan "tests/examples/InstanceSigs.hs" 2 1 2 13
                , SrcSpan "tests/examples/InstanceSigs.hs" 2 27 2 30
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 2 14 2 26
                , srcInfoPoints = []
                }
              "InstanceSigs"
          ]
      , LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 3 1 3 30
            , srcInfoPoints =
                [ SrcSpan "tests/examples/InstanceSigs.hs" 3 1 3 13
                , SrcSpan "tests/examples/InstanceSigs.hs" 3 27 3 30
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 3 14 3 26
                , srcInfoPoints = []
                }
              "TypeFamilies"
          ]
      ]
      []
      [ InstDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 1 10 0
            , srcInfoPoints =
                [ SrcSpan "tests/examples/InstanceSigs.hs" 5 1 5 9
                , SrcSpan "tests/examples/InstanceSigs.hs" 5 34 5 39
                , SrcSpan "tests/examples/InstanceSigs.hs" 6 3 6 3
                , SrcSpan "tests/examples/InstanceSigs.hs" 8 3 8 3
                , SrcSpan "tests/examples/InstanceSigs.hs" 9 3 9 3
                , SrcSpan "tests/examples/InstanceSigs.hs" 10 1 10 0
                ]
            }
          Nothing
          (IRule
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 10 5 33
               , srcInfoPoints = []
               }
             Nothing
             Nothing
             (IHApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 10 5 33
                  , srcInfoPoints = []
                  }
                (IHCon
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 10 5 23
                     , srcInfoPoints = []
                     }
                   (UnQual
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 10 5 23
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 10 5 23
                           , srcInfoPoints = []
                           }
                         "SupportsDelta")))
                (TyParen
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 24 5 33
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/InstanceSigs.hs" 5 24 5 25
                         , SrcSpan "tests/examples/InstanceSigs.hs" 5 32 5 33
                         ]
                     }
                   (TyApp
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 25 5 32
                        , srcInfoPoints = []
                        }
                      (TyApp
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 25 5 30
                           , srcInfoPoints = []
                           }
                         (TyCon
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 25 5 28
                              , srcInfoPoints = []
                              }
                            (UnQual
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 25 5 28
                                 , srcInfoPoints = []
                                 }
                               (Ident
                                  SrcSpanInfo
                                    { srcInfoSpan =
                                        SrcSpan "tests/examples/InstanceSigs.hs" 5 25 5 28
                                    , srcInfoPoints = []
                                    }
                                  "Map")))
                         (TyVar
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 29 5 30
                              , srcInfoPoints = []
                              }
                            (Ident
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 29 5 30
                                 , srcInfoPoints = []
                                 }
                               "k")))
                      (TyVar
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 31 5 32
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 5 31 5 32
                              , srcInfoPoints = []
                              }
                            "v"))))))
          (Just
             [ InsType
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 3 6 33
                   , srcInfoPoints =
                       [ SrcSpan "tests/examples/InstanceSigs.hs" 6 3 6 7
                       , SrcSpan "tests/examples/InstanceSigs.hs" 6 24 6 25
                       ]
                   }
                 (TyApp
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 8 6 23
                      , srcInfoPoints = []
                      }
                    (TyCon
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 8 6 13
                         , srcInfoPoints = []
                         }
                       (UnQual
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 8 6 13
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 8 6 13
                               , srcInfoPoints = []
                               }
                             "Delta")))
                    (TyParen
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 14 6 23
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/InstanceSigs.hs" 6 14 6 15
                             , SrcSpan "tests/examples/InstanceSigs.hs" 6 22 6 23
                             ]
                         }
                       (TyApp
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 15 6 22
                            , srcInfoPoints = []
                            }
                          (TyApp
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 15 6 20
                               , srcInfoPoints = []
                               }
                             (TyCon
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 15 6 18
                                  , srcInfoPoints = []
                                  }
                                (UnQual
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/InstanceSigs.hs" 6 15 6 18
                                     , srcInfoPoints = []
                                     }
                                   (Ident
                                      SrcSpanInfo
                                        { srcInfoSpan =
                                            SrcSpan "tests/examples/InstanceSigs.hs" 6 15 6 18
                                        , srcInfoPoints = []
                                        }
                                      "Map")))
                             (TyVar
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 19 6 20
                                  , srcInfoPoints = []
                                  }
                                (Ident
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/InstanceSigs.hs" 6 19 6 20
                                     , srcInfoPoints = []
                                     }
                                   "k")))
                          (TyVar
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 21 6 22
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 21 6 22
                                  , srcInfoPoints = []
                                  }
                                "v")))))
                 (TyApp
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 26 6 33
                      , srcInfoPoints = []
                      }
                    (TyApp
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 26 6 31
                         , srcInfoPoints = []
                         }
                       (TyCon
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 26 6 29
                            , srcInfoPoints = []
                            }
                          (UnQual
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 26 6 29
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 26 6 29
                                  , srcInfoPoints = []
                                  }
                                "Map")))
                       (TyVar
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 30 6 31
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 30 6 31
                               , srcInfoPoints = []
                               }
                             "k")))
                    (TyVar
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 32 6 33
                         , srcInfoPoints = []
                         }
                       (Ident
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 6 32 6 33
                            , srcInfoPoints = []
                            }
                          "v")))
             , InsDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 3 8 51
                   , srcInfoPoints =
                       [ SrcSpan "tests/examples/InstanceSigs.hs" 8 11 8 13 ]
                   }
                 (TypeSig
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 3 8 51
                      , srcInfoPoints =
                          [ SrcSpan "tests/examples/InstanceSigs.hs" 8 11 8 13 ]
                      }
                    [ Ident
                        SrcSpanInfo
                          { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 3 8 10
                          , srcInfoPoints = []
                          }
                        "mkDelta"
                    ]
                    (TyFun
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 14 8 51
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/InstanceSigs.hs" 8 22 8 24 ]
                         }
                       (TyApp
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 14 8 21
                            , srcInfoPoints = []
                            }
                          (TyApp
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 14 8 19
                               , srcInfoPoints = []
                               }
                             (TyCon
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 14 8 17
                                  , srcInfoPoints = []
                                  }
                                (UnQual
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/InstanceSigs.hs" 8 14 8 17
                                     , srcInfoPoints = []
                                     }
                                   (Ident
                                      SrcSpanInfo
                                        { srcInfoSpan =
                                            SrcSpan "tests/examples/InstanceSigs.hs" 8 14 8 17
                                        , srcInfoPoints = []
                                        }
                                      "Map")))
                             (TyVar
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 18 8 19
                                  , srcInfoPoints = []
                                  }
                                (Ident
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/InstanceSigs.hs" 8 18 8 19
                                     , srcInfoPoints = []
                                     }
                                   "k")))
                          (TyVar
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 20 8 21
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 20 8 21
                                  , srcInfoPoints = []
                                  }
                                "v")))
                       (TyFun
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 25 8 51
                            , srcInfoPoints =
                                [ SrcSpan "tests/examples/InstanceSigs.hs" 8 33 8 35 ]
                            }
                          (TyApp
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 25 8 32
                               , srcInfoPoints = []
                               }
                             (TyApp
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 25 8 30
                                  , srcInfoPoints = []
                                  }
                                (TyCon
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/InstanceSigs.hs" 8 25 8 28
                                     , srcInfoPoints = []
                                     }
                                   (UnQual
                                      SrcSpanInfo
                                        { srcInfoSpan =
                                            SrcSpan "tests/examples/InstanceSigs.hs" 8 25 8 28
                                        , srcInfoPoints = []
                                        }
                                      (Ident
                                         SrcSpanInfo
                                           { srcInfoSpan =
                                               SrcSpan "tests/examples/InstanceSigs.hs" 8 25 8 28
                                           , srcInfoPoints = []
                                           }
                                         "Map")))
                                (TyVar
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/InstanceSigs.hs" 8 29 8 30
                                     , srcInfoPoints = []
                                     }
                                   (Ident
                                      SrcSpanInfo
                                        { srcInfoSpan =
                                            SrcSpan "tests/examples/InstanceSigs.hs" 8 29 8 30
                                        , srcInfoPoints = []
                                        }
                                      "k")))
                             (TyVar
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 31 8 32
                                  , srcInfoPoints = []
                                  }
                                (Ident
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/InstanceSigs.hs" 8 31 8 32
                                     , srcInfoPoints = []
                                     }
                                   "v")))
                          (TyApp
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 36 8 51
                               , srcInfoPoints = []
                               }
                             (TyCon
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 36 8 41
                                  , srcInfoPoints = []
                                  }
                                (UnQual
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/InstanceSigs.hs" 8 36 8 41
                                     , srcInfoPoints = []
                                     }
                                   (Ident
                                      SrcSpanInfo
                                        { srcInfoSpan =
                                            SrcSpan "tests/examples/InstanceSigs.hs" 8 36 8 41
                                        , srcInfoPoints = []
                                        }
                                      "Delta")))
                             (TyParen
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 8 42 8 51
                                  , srcInfoPoints =
                                      [ SrcSpan "tests/examples/InstanceSigs.hs" 8 42 8 43
                                      , SrcSpan "tests/examples/InstanceSigs.hs" 8 50 8 51
                                      ]
                                  }
                                (TyApp
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/InstanceSigs.hs" 8 43 8 50
                                     , srcInfoPoints = []
                                     }
                                   (TyApp
                                      SrcSpanInfo
                                        { srcInfoSpan =
                                            SrcSpan "tests/examples/InstanceSigs.hs" 8 43 8 48
                                        , srcInfoPoints = []
                                        }
                                      (TyCon
                                         SrcSpanInfo
                                           { srcInfoSpan =
                                               SrcSpan "tests/examples/InstanceSigs.hs" 8 43 8 46
                                           , srcInfoPoints = []
                                           }
                                         (UnQual
                                            SrcSpanInfo
                                              { srcInfoSpan =
                                                  SrcSpan "tests/examples/InstanceSigs.hs" 8 43 8 46
                                              , srcInfoPoints = []
                                              }
                                            (Ident
                                               SrcSpanInfo
                                                 { srcInfoSpan =
                                                     SrcSpan
                                                       "tests/examples/InstanceSigs.hs" 8 43 8 46
                                                 , srcInfoPoints = []
                                                 }
                                               "Map")))
                                      (TyVar
                                         SrcSpanInfo
                                           { srcInfoSpan =
                                               SrcSpan "tests/examples/InstanceSigs.hs" 8 47 8 48
                                           , srcInfoPoints = []
                                           }
                                         (Ident
                                            SrcSpanInfo
                                              { srcInfoSpan =
                                                  SrcSpan "tests/examples/InstanceSigs.hs" 8 47 8 48
                                              , srcInfoPoints = []
                                              }
                                            "k")))
                                   (TyVar
                                      SrcSpanInfo
                                        { srcInfoSpan =
                                            SrcSpan "tests/examples/InstanceSigs.hs" 8 49 8 50
                                        , srcInfoPoints = []
                                        }
                                      (Ident
                                         SrcSpanInfo
                                           { srcInfoSpan =
                                               SrcSpan "tests/examples/InstanceSigs.hs" 8 49 8 50
                                           , srcInfoPoints = []
                                           }
                                         "v"))))))))
             , InsDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 9 3 9 22
                   , srcInfoPoints = []
                   }
                 (PatBind
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 9 3 9 22
                      , srcInfoPoints = []
                      }
                    (PVar
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 9 3 9 10
                         , srcInfoPoints = []
                         }
                       (Ident
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 9 3 9 10
                            , srcInfoPoints = []
                            }
                          "mkDelta"))
                    (UnGuardedRhs
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 9 11 9 22
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/InstanceSigs.hs" 9 11 9 12 ]
                         }
                       (Var
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 9 13 9 22
                            , srcInfoPoints = []
                            }
                          (UnQual
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 9 13 9 22
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InstanceSigs.hs" 9 13 9 22
                                  , srcInfoPoints = []
                                  }
                                "undefined"))))
                    Nothing)
             ])
      ]
  , []
  )