haskell-src-exts-1.22.0: tests/examples/InfixTypeMinus.hs.parser.golden
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"
]
)