haskell-src-exts-1.22.0: tests/examples/t403.hs.parser.golden
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
]
}
(TypeA
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/t403.hs" 8 36 8 48
, srcInfoPoints = [ SrcSpan "tests/examples/t403.hs" 8 45 8 46 ]
}
(TyEquals
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
]
, []
)