ParseOk ( Module SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 1 1 10 1 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 1 1 1 1 , SrcSpan "tests/examples/t403.hs" 2 1 2 1 , SrcSpan "tests/examples/t403.hs" 3 1 3 1 , SrcSpan "tests/examples/t403.hs" 4 1 4 1 , SrcSpan "tests/examples/t403.hs" 5 1 5 1 , SrcSpan "tests/examples/t403.hs" 6 1 6 1 , SrcSpan "tests/examples/t403.hs" 6 1 6 1 , SrcSpan "tests/examples/t403.hs" 8 1 8 1 , SrcSpan "tests/examples/t403.hs" 9 1 9 1 , SrcSpan "tests/examples/t403.hs" 10 1 10 1 , SrcSpan "tests/examples/t403.hs" 10 1 10 1 ] } (Just (ModuleHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 6 1 6 18 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 6 1 6 7 , SrcSpan "tests/examples/t403.hs" 6 13 6 18 ] } (ModuleName SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 6 8 6 12 , srcInfoPoints = [] } "T403") Nothing Nothing)) [ LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 1 1 1 33 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 1 1 1 13 , SrcSpan "tests/examples/t403.hs" 1 30 1 33 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 1 14 1 29 , srcInfoPoints = [] } "PatternSynonyms" ] , LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 2 1 2 28 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 2 1 2 13 , SrcSpan "tests/examples/t403.hs" 2 25 2 28 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 2 14 2 24 , srcInfoPoints = [] } "RankNTypes" ] , LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 3 1 3 30 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 3 1 3 13 , SrcSpan "tests/examples/t403.hs" 3 27 3 30 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 3 14 3 26 , srcInfoPoints = [] } "ViewPatterns" ] , LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 4 1 4 31 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 4 1 4 13 , SrcSpan "tests/examples/t403.hs" 4 28 4 31 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 4 14 4 27 , srcInfoPoints = [] } "TypeOperators" ] , LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 5 1 5 27 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 5 1 5 13 , SrcSpan "tests/examples/t403.hs" 5 24 5 27 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 5 14 5 23 , srcInfoPoints = [] } "DataKinds" ] ] [] [ PatSynSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 1 8 86 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 1 8 8 , SrcSpan "tests/examples/t403.hs" 8 16 8 18 ] } [ Symbol SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 9 8 15 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 9 8 10 , SrcSpan "tests/examples/t403.hs" 8 10 8 14 , SrcSpan "tests/examples/t403.hs" 8 14 8 15 ] } ":&&:" ] Nothing (Just (CxEmpty SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 19 8 24 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 19 8 20 , SrcSpan "tests/examples/t403.hs" 8 20 8 21 , SrcSpan "tests/examples/t403.hs" 8 22 8 24 ] })) (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 32 8 33 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 32 8 33 , srcInfoPoints = [] } "k") ]) (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 35 8 52 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 35 8 36 , SrcSpan "tests/examples/t403.hs" 8 48 8 49 , SrcSpan "tests/examples/t403.hs" 8 50 8 52 ] } (ParenA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 35 8 52 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 35 8 36 , SrcSpan "tests/examples/t403.hs" 8 48 8 49 , SrcSpan "tests/examples/t403.hs" 8 50 8 52 ] } (EqualP SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 36 8 48 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 45 8 46 ] } (TyParen SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 36 8 44 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 36 8 37 , SrcSpan "tests/examples/t403.hs" 8 43 8 44 ] } (TyInfix SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 37 8 43 , srcInfoPoints = [] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 37 8 38 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 37 8 38 , srcInfoPoints = [] } "k")) (UnpromotedName SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 39 8 41 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 39 8 41 , srcInfoPoints = [] } (Symbol SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 39 8 41 , srcInfoPoints = [] } ":+"))) (TyPromoted SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 42 8 43 , srcInfoPoints = [] } (PromotedInteger SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 42 8 43 , srcInfoPoints = [] } 1 "1")))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 47 8 48 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 47 8 48 , srcInfoPoints = [] } "n")))))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 53 8 86 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 55 8 57 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 53 8 54 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 53 8 54 , srcInfoPoints = [] } "a")) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 58 8 86 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 71 8 73 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 58 8 70 , srcInfoPoints = [] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 58 8 68 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 58 8 66 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 58 8 66 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 58 8 66 , srcInfoPoints = [] } "HoHeList"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 67 8 68 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 67 8 68 , srcInfoPoints = [] } "k"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 69 8 70 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 69 8 70 , srcInfoPoints = [] } "a"))) (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 74 8 86 , srcInfoPoints = [] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 74 8 84 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 74 8 82 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 74 8 82 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 74 8 82 , srcInfoPoints = [] } "HoHeList"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 83 8 84 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 83 8 84 , srcInfoPoints = [] } "n"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 85 8 86 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 85 8 86 , srcInfoPoints = [] } "a"))))) , PatSyn SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 1 9 62 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 9 1 9 8 , SrcSpan "tests/examples/t403.hs" 9 23 9 25 ] } (PApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 9 9 22 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 9 9 15 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 9 9 9 10 , SrcSpan "tests/examples/t403.hs" 9 10 9 14 , SrcSpan "tests/examples/t403.hs" 9 14 9 15 ] } (Symbol SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 9 9 15 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 9 9 9 10 , SrcSpan "tests/examples/t403.hs" 9 10 9 14 , SrcSpan "tests/examples/t403.hs" 9 14 9 15 ] } ":&&:")) [ PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 16 9 17 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 16 9 17 , srcInfoPoints = [] } "x") , PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 18 9 22 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 18 9 22 , srcInfoPoints = [] } "rest") ]) (PParen SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 26 9 62 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 9 26 9 27 , SrcSpan "tests/examples/t403.hs" 9 61 9 62 ] } (PViewPat SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 27 9 61 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 9 37 9 39 ] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 27 9 36 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 27 9 36 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 27 9 36 , srcInfoPoints = [] } "matchNext"))) (PApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 40 9 61 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 40 9 45 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 40 9 45 , srcInfoPoints = [] } "Right")) [ PTuple SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 46 9 61 , srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 9 46 9 47 , SrcSpan "tests/examples/t403.hs" 9 48 9 49 , SrcSpan "tests/examples/t403.hs" 9 54 9 55 , SrcSpan "tests/examples/t403.hs" 9 60 9 61 ] } Boxed [ PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 47 9 48 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 47 9 48 , srcInfoPoints = [] } "x") , PApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 50 9 54 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 50 9 54 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 50 9 54 , srcInfoPoints = [] } "Refl")) [] , PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 56 9 60 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/t403.hs" 9 56 9 60 , srcInfoPoints = [] } "rest") ] ]))) Unidirectional ] , [] )