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 ] ] , [] )