ParseOk ( Module SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 1 1 9 1 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 1 1 1 1 , SrcSpan "tests/examples/InfixTypeMinus.hs" 2 1 2 1 , SrcSpan "tests/examples/InfixTypeMinus.hs" 2 1 2 1 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 1 5 1 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 1 6 1 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 1 7 1 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 1 8 1 , SrcSpan "tests/examples/InfixTypeMinus.hs" 9 1 9 1 , SrcSpan "tests/examples/InfixTypeMinus.hs" 9 1 9 1 ] } (Just (ModuleHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 2 1 2 17 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 2 1 2 7 , SrcSpan "tests/examples/InfixTypeMinus.hs" 2 12 2 17 ] } (ModuleName SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 2 8 2 11 , srcInfoPoints = [] } "Foo") Nothing Nothing)) [ LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 1 1 1 65 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 1 1 1 13 , SrcSpan "tests/examples/InfixTypeMinus.hs" 1 23 1 24 , SrcSpan "tests/examples/InfixTypeMinus.hs" 1 39 1 40 , SrcSpan "tests/examples/InfixTypeMinus.hs" 1 54 1 55 , SrcSpan "tests/examples/InfixTypeMinus.hs" 1 62 1 65 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 1 14 1 23 , srcInfoPoints = [] } "DataKinds" , Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 1 25 1 39 , srcInfoPoints = [] } "KindSignatures" , Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 1 41 1 54 , srcInfoPoints = [] } "TypeOperators" , Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 1 56 1 61 , srcInfoPoints = [] } "GADTs" ] ] [] [ GDataDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 1 5 79 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 21 5 26 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 27 5 28 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 78 5 79 ] } (DataType SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 1 5 5 , srcInfoPoints = [] }) Nothing (DHApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 6 5 20 , srcInfoPoints = [] } (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 6 5 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 6 5 9 , srcInfoPoints = [] } "Vec")) (KindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 10 5 20 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 10 5 11 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 13 5 15 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 19 5 20 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 11 5 12 , srcInfoPoints = [] } "n") (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 16 5 19 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 16 5 19 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 16 5 19 , srcInfoPoints = [] } "Nat"))))) Nothing [ GadtDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 29 5 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 35 5 37 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 29 5 34 , srcInfoPoints = [] } "VCons") Nothing Nothing Nothing (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 77 , srcInfoPoints = [] } Nothing (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 52 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 39 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 48 5 49 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 50 5 52 ] } (ParenA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 52 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 39 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 48 5 49 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 50 5 52 ] } (TypeA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 39 5 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 41 5 42 ] } (TyEquals SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 39 5 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 41 5 42 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 39 5 40 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 39 5 40 , srcInfoPoints = [] } "m")) (TyParen SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 43 5 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 43 5 44 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 47 5 48 ] } (TyInfix SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 44 5 47 , srcInfoPoints = [] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 44 5 45 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 44 5 45 , srcInfoPoints = [] } "n")) (UnpromotedName SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 45 5 46 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 45 5 46 , srcInfoPoints = [] } (Symbol SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 45 5 46 , srcInfoPoints = [] } "-"))) (TyPromoted SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 46 5 47 , srcInfoPoints = [] } (PromotedInteger SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 46 5 47 , srcInfoPoints = [] } 1 "1"))))))))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 53 5 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 60 5 62 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 53 5 59 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 53 5 59 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 53 5 59 , srcInfoPoints = [] } "Double"))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 69 5 71 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 68 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 66 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 66 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 66 , srcInfoPoints = [] } "Vec"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 67 5 68 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 67 5 68 , srcInfoPoints = [] } "m"))) (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 72 5 77 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 72 5 75 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 72 5 75 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 72 5 75 , srcInfoPoints = [] } "Vec"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 76 5 77 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 76 5 77 , srcInfoPoints = [] } "n")))))) ] [] , GDataDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 1 6 79 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 21 6 26 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 27 6 28 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 78 6 79 ] } (DataType SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 1 6 5 , srcInfoPoints = [] }) Nothing (DHApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 6 6 20 , srcInfoPoints = [] } (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 6 6 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 6 6 9 , srcInfoPoints = [] } "Vec")) (KindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 10 6 20 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 10 6 11 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 13 6 15 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 19 6 20 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 11 6 12 , srcInfoPoints = [] } "n") (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 16 6 19 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 16 6 19 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 16 6 19 , srcInfoPoints = [] } "Nat"))))) Nothing [ GadtDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 29 6 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 35 6 37 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 29 6 34 , srcInfoPoints = [] } "VCons") Nothing Nothing Nothing (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 77 , srcInfoPoints = [] } Nothing (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 52 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 39 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 48 6 49 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 50 6 52 ] } (ParenA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 52 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 39 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 48 6 49 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 50 6 52 ] } (TypeA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 39 6 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 45 6 46 ] } (TyEquals SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 39 6 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 45 6 46 ] } (TyParen SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 39 6 44 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 39 6 40 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 43 6 44 ] } (TyInfix SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 40 6 43 , srcInfoPoints = [] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 40 6 41 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 40 6 41 , srcInfoPoints = [] } "n")) (UnpromotedName SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 41 6 42 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 41 6 42 , srcInfoPoints = [] } (Symbol SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 41 6 42 , srcInfoPoints = [] } "-"))) (TyPromoted SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 42 6 43 , srcInfoPoints = [] } (PromotedInteger SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 42 6 43 , srcInfoPoints = [] } 1 "1")))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 47 6 48 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 47 6 48 , srcInfoPoints = [] } "m"))))))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 53 6 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 60 6 62 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 53 6 59 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 53 6 59 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 53 6 59 , srcInfoPoints = [] } "Double"))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 69 6 71 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 68 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 66 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 66 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 66 , srcInfoPoints = [] } "Vec"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 67 6 68 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 67 6 68 , srcInfoPoints = [] } "m"))) (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 72 6 77 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 72 6 75 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 72 6 75 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 72 6 75 , srcInfoPoints = [] } "Vec"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 76 6 77 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 76 6 77 , srcInfoPoints = [] } "n")))))) ] [] , GDataDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 1 7 79 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 21 7 26 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 27 7 28 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 78 7 79 ] } (DataType SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 1 7 5 , srcInfoPoints = [] }) Nothing (DHApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 6 7 20 , srcInfoPoints = [] } (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 6 7 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 6 7 9 , srcInfoPoints = [] } "Vec")) (KindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 10 7 20 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 10 7 11 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 13 7 15 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 19 7 20 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 11 7 12 , srcInfoPoints = [] } "n") (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 16 7 19 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 16 7 19 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 16 7 19 , srcInfoPoints = [] } "Nat"))))) Nothing [ GadtDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 29 7 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 35 7 37 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 29 7 34 , srcInfoPoints = [] } "VCons") Nothing Nothing Nothing (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 77 , srcInfoPoints = [] } Nothing (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 52 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 39 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 48 7 49 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 50 7 52 ] } (ParenA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 52 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 39 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 48 7 49 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 50 7 52 ] } (TypeA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 39 7 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 45 7 46 ] } (TyEquals SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 39 7 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 45 7 46 ] } (TyParen SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 39 7 44 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 39 7 40 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 43 7 44 ] } (TyInfix SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 40 7 43 , srcInfoPoints = [] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 40 7 41 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 40 7 41 , srcInfoPoints = [] } "m")) (UnpromotedName SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 41 7 42 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 41 7 42 , srcInfoPoints = [] } (Symbol SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 41 7 42 , srcInfoPoints = [] } "+"))) (TyPromoted SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 42 7 43 , srcInfoPoints = [] } (PromotedInteger SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 42 7 43 , srcInfoPoints = [] } 1 "1")))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 47 7 48 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 47 7 48 , srcInfoPoints = [] } "n"))))))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 53 7 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 60 7 62 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 53 7 59 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 53 7 59 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 53 7 59 , srcInfoPoints = [] } "Double"))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 69 7 71 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 68 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 66 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 66 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 66 , srcInfoPoints = [] } "Vec"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 67 7 68 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 67 7 68 , srcInfoPoints = [] } "m"))) (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 72 7 77 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 72 7 75 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 72 7 75 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 72 7 75 , srcInfoPoints = [] } "Vec"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 76 7 77 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 76 7 77 , srcInfoPoints = [] } "n")))))) ] [] , GDataDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 1 8 79 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 21 8 26 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 27 8 28 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 78 8 79 ] } (DataType SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 1 8 5 , srcInfoPoints = [] }) Nothing (DHApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 6 8 20 , srcInfoPoints = [] } (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 6 8 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 6 8 9 , srcInfoPoints = [] } "Vec")) (KindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 10 8 20 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 10 8 11 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 13 8 15 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 19 8 20 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 11 8 12 , srcInfoPoints = [] } "n") (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 16 8 19 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 16 8 19 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 16 8 19 , srcInfoPoints = [] } "Nat"))))) Nothing [ GadtDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 29 8 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 35 8 37 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 29 8 34 , srcInfoPoints = [] } "VCons") Nothing Nothing Nothing (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 77 , srcInfoPoints = [] } Nothing (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 52 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 39 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 48 8 49 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 50 8 52 ] } (ParenA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 52 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 39 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 48 8 49 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 50 8 52 ] } (TypeA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 39 8 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 41 8 42 ] } (TyEquals SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 39 8 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 41 8 42 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 39 8 40 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 39 8 40 , srcInfoPoints = [] } "n")) (TyParen SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 43 8 48 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 43 8 44 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 47 8 48 ] } (TyInfix SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 44 8 47 , srcInfoPoints = [] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 44 8 45 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 44 8 45 , srcInfoPoints = [] } "m")) (UnpromotedName SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 45 8 46 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 45 8 46 , srcInfoPoints = [] } (Symbol SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 45 8 46 , srcInfoPoints = [] } "+"))) (TyPromoted SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 46 8 47 , srcInfoPoints = [] } (PromotedInteger SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 46 8 47 , srcInfoPoints = [] } 1 "1"))))))))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 53 8 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 60 8 62 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 53 8 59 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 53 8 59 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 53 8 59 , srcInfoPoints = [] } "Double"))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 77 , srcInfoPoints = [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 69 8 71 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 68 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 66 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 66 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 66 , srcInfoPoints = [] } "Vec"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 67 8 68 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 67 8 68 , srcInfoPoints = [] } "m"))) (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 72 8 77 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 72 8 75 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 72 8 75 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 72 8 75 , srcInfoPoints = [] } "Vec"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 76 8 77 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 76 8 77 , srcInfoPoints = [] } "n")))))) ] [] ] , [ Comment False (SrcSpan "tests/examples/InfixTypeMinus.hs" 4 1 4 14) " Test cases" ] )