tests/examples/InfixParser.hs.parser.golden

ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 1 1 7 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/InfixParser.hs" 1 1 1 1
            , SrcSpan "tests/examples/InfixParser.hs" 1 1 1 1
            , SrcSpan "tests/examples/InfixParser.hs" 3 1 3 1
            , SrcSpan "tests/examples/InfixParser.hs" 5 1 5 1
            , SrcSpan "tests/examples/InfixParser.hs" 6 1 6 1
            , SrcSpan "tests/examples/InfixParser.hs" 7 1 7 1
            , SrcSpan "tests/examples/InfixParser.hs" 7 1 7 1
            ]
        }
      (Just
         (ModuleHead
            SrcSpanInfo
              { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 1 1 1 25
              , srcInfoPoints =
                  [ SrcSpan "tests/examples/InfixParser.hs" 1 1 1 7
                  , SrcSpan "tests/examples/InfixParser.hs" 1 20 1 25
                  ]
              }
            (ModuleName
               SrcSpanInfo
                 { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 1 8 1 19
                 , srcInfoPoints = []
                 }
               "InfixParser")
            Nothing
            Nothing))
      []
      []
      [ TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 1 3 35
            , srcInfoPoints =
                [ SrcSpan "tests/examples/InfixParser.hs" 3 1 3 5
                , SrcSpan "tests/examples/InfixParser.hs" 3 16 3 17
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 6 3 15
               , srcInfoPoints = []
               }
             (DHApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 6 3 13
                  , srcInfoPoints = []
                  }
                (DHead
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 6 3 11
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 6 3 11
                        , srcInfoPoints = []
                        }
                      "Parse"))
                (UnkindedVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 12 3 13
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 12 3 13
                        , srcInfoPoints = []
                        }
                      "a")))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 14 3 15
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 14 3 15
                     , srcInfoPoints = []
                     }
                   "b")))
          (TyFun
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 18 3 35
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/InfixParser.hs" 3 22 3 24 ]
               }
             (TyList
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 18 3 21
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/InfixParser.hs" 3 18 3 19
                      , SrcSpan "tests/examples/InfixParser.hs" 3 20 3 21
                      ]
                  }
                (TyVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 19 3 20
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 19 3 20
                        , srcInfoPoints = []
                        }
                      "a")))
             (TyList
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 25 3 35
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/InfixParser.hs" 3 25 3 26
                      , SrcSpan "tests/examples/InfixParser.hs" 3 34 3 35
                      ]
                  }
                (TyTuple
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 26 3 34
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/InfixParser.hs" 3 26 3 27
                         , SrcSpan "tests/examples/InfixParser.hs" 3 28 3 29
                         , SrcSpan "tests/examples/InfixParser.hs" 3 33 3 34
                         ]
                     }
                   Boxed
                   [ TyVar
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 27 3 28
                         , srcInfoPoints = []
                         }
                       (Ident
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 27 3 28
                            , srcInfoPoints = []
                            }
                          "b")
                   , TyList
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 30 3 33
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/InfixParser.hs" 3 30 3 31
                             , SrcSpan "tests/examples/InfixParser.hs" 3 32 3 33
                             ]
                         }
                       (TyVar
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 31 3 32
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 3 31 3 32
                               , srcInfoPoints = []
                               }
                             "a"))
                   ])))
      , TypeSig
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 1 5 45
            , srcInfoPoints =
                [ SrcSpan "tests/examples/InfixParser.hs" 5 7 5 9 ]
            }
          [ Symbol
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 1 5 6
                , srcInfoPoints =
                    [ SrcSpan "tests/examples/InfixParser.hs" 5 1 5 2
                    , SrcSpan "tests/examples/InfixParser.hs" 5 2 5 5
                    , SrcSpan "tests/examples/InfixParser.hs" 5 5 5 6
                    ]
                }
              "<|>"
          ]
          (TyFun
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 10 5 45
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/InfixParser.hs" 5 20 5 22 ]
               }
             (TyApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 10 5 19
                  , srcInfoPoints = []
                  }
                (TyApp
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 10 5 17
                     , srcInfoPoints = []
                     }
                   (TyCon
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 10 5 15
                        , srcInfoPoints = []
                        }
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 10 5 15
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 10 5 15
                              , srcInfoPoints = []
                              }
                            "Parse")))
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 16 5 17
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 16 5 17
                           , srcInfoPoints = []
                           }
                         "a")))
                (TyVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 18 5 19
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 18 5 19
                        , srcInfoPoints = []
                        }
                      "b")))
             (TyFun
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 23 5 45
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/InfixParser.hs" 5 33 5 35 ]
                  }
                (TyApp
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 23 5 32
                     , srcInfoPoints = []
                     }
                   (TyApp
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 23 5 30
                        , srcInfoPoints = []
                        }
                      (TyCon
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 23 5 28
                           , srcInfoPoints = []
                           }
                         (UnQual
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 23 5 28
                              , srcInfoPoints = []
                              }
                            (Ident
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 23 5 28
                                 , srcInfoPoints = []
                                 }
                               "Parse")))
                      (TyVar
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 29 5 30
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 29 5 30
                              , srcInfoPoints = []
                              }
                            "a")))
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 31 5 32
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 31 5 32
                           , srcInfoPoints = []
                           }
                         "b")))
                (TyApp
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 36 5 45
                     , srcInfoPoints = []
                     }
                   (TyApp
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 36 5 43
                        , srcInfoPoints = []
                        }
                      (TyCon
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 36 5 41
                           , srcInfoPoints = []
                           }
                         (UnQual
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 36 5 41
                              , srcInfoPoints = []
                              }
                            (Ident
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 36 5 41
                                 , srcInfoPoints = []
                                 }
                               "Parse")))
                      (TyVar
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 42 5 43
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 42 5 43
                              , srcInfoPoints = []
                              }
                            "a")))
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 44 5 45
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 5 44 5 45
                           , srcInfoPoints = []
                           }
                         "b")))))
      , FunBind
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 1 6 29
            , srcInfoPoints = []
            }
          [ InfixMatch
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 1 6 29
                , srcInfoPoints =
                    [ SrcSpan "tests/examples/InfixParser.hs" 6 1 6 2
                    , SrcSpan "tests/examples/InfixParser.hs" 6 11 6 12
                    ]
                }
              (PVar
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 2 6 4
                   , srcInfoPoints = []
                   }
                 (Ident
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 2 6 4
                      , srcInfoPoints = []
                      }
                    "p1"))
              (Symbol
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 5 6 8
                   , srcInfoPoints = []
                   }
                 "<|>")
              [ PVar
                  SrcSpanInfo
                    { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 9 6 11
                    , srcInfoPoints = []
                    }
                  (Ident
                     SrcSpanInfo
                       { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 9 6 11
                       , srcInfoPoints = []
                       }
                     "p2")
              , PVar
                  SrcSpanInfo
                    { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 13 6 14
                    , srcInfoPoints = []
                    }
                  (Ident
                     SrcSpanInfo
                       { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 13 6 14
                       , srcInfoPoints = []
                       }
                     "i")
              ]
              (UnGuardedRhs
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 15 6 29
                   , srcInfoPoints =
                       [ SrcSpan "tests/examples/InfixParser.hs" 6 15 6 16 ]
                   }
                 (InfixApp
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 17 6 29
                      , srcInfoPoints = []
                      }
                    (App
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 17 6 21
                         , srcInfoPoints = []
                         }
                       (Var
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 17 6 19
                            , srcInfoPoints = []
                            }
                          (UnQual
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 17 6 19
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 17 6 19
                                  , srcInfoPoints = []
                                  }
                                "p1")))
                       (Var
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 20 6 21
                            , srcInfoPoints = []
                            }
                          (UnQual
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 20 6 21
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 20 6 21
                                  , srcInfoPoints = []
                                  }
                                "i"))))
                    (QVarOp
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 22 6 24
                         , srcInfoPoints = []
                         }
                       (UnQual
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 22 6 24
                            , srcInfoPoints = []
                            }
                          (Symbol
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 22 6 24
                               , srcInfoPoints = []
                               }
                             "++")))
                    (App
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 25 6 29
                         , srcInfoPoints = []
                         }
                       (Var
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 25 6 27
                            , srcInfoPoints = []
                            }
                          (UnQual
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 25 6 27
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 25 6 27
                                  , srcInfoPoints = []
                                  }
                                "p2")))
                       (Var
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 28 6 29
                            , srcInfoPoints = []
                            }
                          (UnQual
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 28 6 29
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/InfixParser.hs" 6 28 6 29
                                  , srcInfoPoints = []
                                  }
                                "i"))))))
              Nothing
          ]
      ]
  , []
  )