haskell-src-exts-1.22.0: tests/examples/Vta1.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 1 96 1
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 1 1 1 1
, SrcSpan "tests/examples/Vta1.hs" 6 1 6 1
, SrcSpan "tests/examples/Vta1.hs" 6 1 6 1
, SrcSpan "tests/examples/Vta1.hs" 8 1 8 1
, SrcSpan "tests/examples/Vta1.hs" 9 1 9 1
, SrcSpan "tests/examples/Vta1.hs" 11 1 11 1
, SrcSpan "tests/examples/Vta1.hs" 13 1 13 1
, SrcSpan "tests/examples/Vta1.hs" 15 1 15 1
, SrcSpan "tests/examples/Vta1.hs" 16 1 16 1
, SrcSpan "tests/examples/Vta1.hs" 18 1 18 1
, SrcSpan "tests/examples/Vta1.hs" 21 1 21 1
, SrcSpan "tests/examples/Vta1.hs" 22 1 22 1
, SrcSpan "tests/examples/Vta1.hs" 23 1 23 1
, SrcSpan "tests/examples/Vta1.hs" 25 1 25 1
, SrcSpan "tests/examples/Vta1.hs" 27 1 27 1
, SrcSpan "tests/examples/Vta1.hs" 29 1 29 1
, SrcSpan "tests/examples/Vta1.hs" 30 1 30 1
, SrcSpan "tests/examples/Vta1.hs" 31 1 31 1
, SrcSpan "tests/examples/Vta1.hs" 33 1 33 1
, SrcSpan "tests/examples/Vta1.hs" 34 1 34 1
, SrcSpan "tests/examples/Vta1.hs" 36 1 36 1
, SrcSpan "tests/examples/Vta1.hs" 37 1 37 1
, SrcSpan "tests/examples/Vta1.hs" 39 1 39 1
, SrcSpan "tests/examples/Vta1.hs" 40 1 40 1
, SrcSpan "tests/examples/Vta1.hs" 42 1 42 1
, SrcSpan "tests/examples/Vta1.hs" 44 1 44 1
, SrcSpan "tests/examples/Vta1.hs" 45 1 45 1
, SrcSpan "tests/examples/Vta1.hs" 46 1 46 1
, SrcSpan "tests/examples/Vta1.hs" 48 1 48 1
, SrcSpan "tests/examples/Vta1.hs" 49 1 49 1
, SrcSpan "tests/examples/Vta1.hs" 51 1 51 1
, SrcSpan "tests/examples/Vta1.hs" 52 1 52 1
, SrcSpan "tests/examples/Vta1.hs" 53 1 53 1
, SrcSpan "tests/examples/Vta1.hs" 55 1 55 1
, SrcSpan "tests/examples/Vta1.hs" 56 1 56 1
, SrcSpan "tests/examples/Vta1.hs" 58 1 58 1
, SrcSpan "tests/examples/Vta1.hs" 59 1 59 1
, SrcSpan "tests/examples/Vta1.hs" 61 1 61 1
, SrcSpan "tests/examples/Vta1.hs" 62 1 62 1
, SrcSpan "tests/examples/Vta1.hs" 63 1 63 1
, SrcSpan "tests/examples/Vta1.hs" 65 1 65 1
, SrcSpan "tests/examples/Vta1.hs" 66 1 66 1
, SrcSpan "tests/examples/Vta1.hs" 68 1 68 1
, SrcSpan "tests/examples/Vta1.hs" 69 1 69 1
, SrcSpan "tests/examples/Vta1.hs" 71 1 71 1
, SrcSpan "tests/examples/Vta1.hs" 72 1 72 1
, SrcSpan "tests/examples/Vta1.hs" 74 1 74 1
, SrcSpan "tests/examples/Vta1.hs" 75 1 75 1
, SrcSpan "tests/examples/Vta1.hs" 77 1 77 1
, SrcSpan "tests/examples/Vta1.hs" 78 1 78 1
, SrcSpan "tests/examples/Vta1.hs" 80 1 80 1
, SrcSpan "tests/examples/Vta1.hs" 81 1 81 1
, SrcSpan "tests/examples/Vta1.hs" 83 1 83 1
, SrcSpan "tests/examples/Vta1.hs" 85 1 85 1
, SrcSpan "tests/examples/Vta1.hs" 87 1 87 1
, SrcSpan "tests/examples/Vta1.hs" 89 1 89 1
, SrcSpan "tests/examples/Vta1.hs" 91 1 91 1
, SrcSpan "tests/examples/Vta1.hs" 92 1 92 1
, SrcSpan "tests/examples/Vta1.hs" 94 1 94 1
, SrcSpan "tests/examples/Vta1.hs" 95 1 95 1
, SrcSpan "tests/examples/Vta1.hs" 96 1 96 1
, SrcSpan "tests/examples/Vta1.hs" 96 1 96 1
]
}
(Just
(ModuleHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 6 1 6 18
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 6 1 6 7
, SrcSpan "tests/examples/Vta1.hs" 6 13 6 18
]
}
(ModuleName
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 6 8 6 12
, srcInfoPoints = []
}
"Vta1")
Nothing
Nothing))
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 1 3 34
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 1 1 1 13
, SrcSpan "tests/examples/Vta1.hs" 1 30 1 31
, SrcSpan "tests/examples/Vta1.hs" 1 51 1 52
, SrcSpan "tests/examples/Vta1.hs" 1 62 1 63
, SrcSpan "tests/examples/Vta1.hs" 2 26 2 27
, SrcSpan "tests/examples/Vta1.hs" 2 38 2 39
, SrcSpan "tests/examples/Vta1.hs" 3 31 3 34
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 14 1 30
, srcInfoPoints = []
}
"TypeApplications"
, Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 32 1 51
, srcInfoPoints = []
}
"ScopedTypeVariables"
, Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 53 1 62
, srcInfoPoints = []
}
"PolyKinds"
, Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 2 14 2 26
, srcInfoPoints = []
}
"TypeFamilies"
, Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 2 28 2 38
, srcInfoPoints = []
}
"RankNTypes"
, Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 3 14 3 30
, srcInfoPoints = []
}
"FlexibleContexts"
]
]
[]
[ TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 1 8 41
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 6 8 8 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 1 8 5
, srcInfoPoints = []
}
"quad"
]
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 9 8 41
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 11 8 13 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 9 8 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 9 8 10
, srcInfoPoints = []
}
"a"))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 14 8 41
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 16 8 18 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 14 8 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 14 8 15
, srcInfoPoints = []
}
"b"))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 19 8 41
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 21 8 23 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 19 8 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 19 8 20
, srcInfoPoints = []
}
"c"))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 24 8 41
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 26 8 28 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 24 8 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 24 8 25
, srcInfoPoints = []
}
"d"))
(TyTuple
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 29 8 41
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 8 29 8 30
, SrcSpan "tests/examples/Vta1.hs" 8 31 8 32
, SrcSpan "tests/examples/Vta1.hs" 8 34 8 35
, SrcSpan "tests/examples/Vta1.hs" 8 37 8 38
, SrcSpan "tests/examples/Vta1.hs" 8 40 8 41
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 30 8 31
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 30 8 31
, srcInfoPoints = []
}
"a")
, TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 33 8 34
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 33 8 34
, srcInfoPoints = []
}
"b")
, TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 36 8 37
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 36 8 37
, srcInfoPoints = []
}
"c")
, TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 39 8 40
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 39 8 40
, srcInfoPoints = []
}
"d")
])))))
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 1 9 13
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 1 9 5
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 1 9 5
, srcInfoPoints = []
}
"quad"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 6 9 13
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 9 6 9 7 ]
}
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 8 9 13
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 9 8 9 9
, SrcSpan "tests/examples/Vta1.hs" 9 9 9 10
, SrcSpan "tests/examples/Vta1.hs" 9 10 9 11
, SrcSpan "tests/examples/Vta1.hs" 9 11 9 12
, SrcSpan "tests/examples/Vta1.hs" 9 12 9 13
]
}
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 8 9 13
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 9 8 9 9
, SrcSpan "tests/examples/Vta1.hs" 9 9 9 10
, SrcSpan "tests/examples/Vta1.hs" 9 10 9 11
, SrcSpan "tests/examples/Vta1.hs" 9 11 9 12
, SrcSpan "tests/examples/Vta1.hs" 9 12 9 13
]
}
(TupleCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 8 9 13
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 9 8 9 9
, SrcSpan "tests/examples/Vta1.hs" 9 9 9 10
, SrcSpan "tests/examples/Vta1.hs" 9 10 9 11
, SrcSpan "tests/examples/Vta1.hs" 9 11 9 12
, SrcSpan "tests/examples/Vta1.hs" 9 12 9 13
]
}
Boxed
4))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 1 11 50
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 1 11 6
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 1 11 6
, srcInfoPoints = []
}
"silly"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 7 11 50
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 11 7 11 8 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 50
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 42
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 38
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 33
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 31
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 28
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 22
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 16
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 9 11 13
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 9 11 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 9 11 13
, srcInfoPoints = []
}
"quad")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 14 11 16
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 11 14 11 15 ]
}
(TyWildCard
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 15 11 16
, srcInfoPoints = []
}
Nothing)))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 17 11 22
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 11 17 11 18 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 18 11 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 18 11 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 18 11 22
, srcInfoPoints = []
}
"Bool")))))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 23 11 28
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 11 23 11 24 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 24 11 28
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 24 11 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 11 24 11 28
, srcInfoPoints = []
}
"Char")))))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 29 11 31
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 11 29 11 30 ]
}
(TyWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 30 11 31
, srcInfoPoints = []
}
Nothing)))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 32 11 33
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 32 11 33
, srcInfoPoints = []
}
5
"5")))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 34 11 38
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 34 11 38
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 34 11 38
, srcInfoPoints = []
}
"True"))))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 39 11 42
, srcInfoPoints = []
}
(Char
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 39 11 42
, srcInfoPoints = []
}
'a'
"a")))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 43 11 50
, srcInfoPoints = []
}
(String
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 43 11 50
, srcInfoPoints = []
}
"Hello"
"Hello"))))
Nothing
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 1 13 26
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 1 13 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 1 13 13
, srcInfoPoints = []
}
"pairup_nosig")
[ PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 14 13 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 14 13 15
, srcInfoPoints = []
}
"x")
, PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 16 13 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 16 13 17
, srcInfoPoints = []
}
"y")
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 18 13 26
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 13 18 13 19 ]
}
(Tuple
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 20 13 26
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 13 20 13 21
, SrcSpan "tests/examples/Vta1.hs" 13 22 13 23
, SrcSpan "tests/examples/Vta1.hs" 13 25 13 26
]
}
Boxed
[ Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 21 13 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 21 13 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 21 13 22
, srcInfoPoints = []
}
"x"))
, Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 24 13 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 24 13 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 24 13 25
, srcInfoPoints = []
}
"y"))
]))
Nothing
]
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 1 15 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 12 15 14 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 1 15 11
, srcInfoPoints = []
}
"pairup_sig"
]
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 15 15 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 17 15 19 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 15 15 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 15 15 16
, srcInfoPoints = []
}
"a"))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 20 15 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 22 15 24 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 20 15 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 20 15 21
, srcInfoPoints = []
}
"b"))
(TyTuple
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 25 15 30
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 15 25 15 26
, SrcSpan "tests/examples/Vta1.hs" 15 27 15 28
, SrcSpan "tests/examples/Vta1.hs" 15 29 15 30
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 26 15 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 26 15 27
, srcInfoPoints = []
}
"a")
, TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 28 15 29
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 28 15 29
, srcInfoPoints = []
}
"b")
])))
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 1 16 24
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 1 16 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 1 16 11
, srcInfoPoints = []
}
"pairup_sig")
[ PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 12 16 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 12 16 13
, srcInfoPoints = []
}
"u")
, PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 14 16 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 14 16 15
, srcInfoPoints = []
}
"w")
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 16 16 24
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 16 16 16 17 ]
}
(Tuple
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 18 16 24
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 16 18 16 19
, SrcSpan "tests/examples/Vta1.hs" 16 20 16 21
, SrcSpan "tests/examples/Vta1.hs" 16 23 16 24
]
}
Boxed
[ Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 19 16 20
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 19 16 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 19 16 20
, srcInfoPoints = []
}
"u"))
, Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 22 16 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 22 16 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 22 16 23
, srcInfoPoints = []
}
"w"))
]))
Nothing
]
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 1 18 43
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 1 18 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 1 18 11
, srcInfoPoints = []
}
"answer_sig"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 12 18 43
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 18 12 18 13 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 43
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 41
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 35
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 30
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 24
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 24
, srcInfoPoints = []
}
"pairup_sig")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 25 18 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 18 25 18 26 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 26 18 30
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 26 18 30
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 26 18 30
, srcInfoPoints = []
}
"Bool")))))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 31 18 35
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 18 31 18 32 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 32 18 35
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 32 18 35
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 32 18 35
, srcInfoPoints = []
}
"Int")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 36 18 41
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 36 18 41
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 36 18 41
, srcInfoPoints = []
}
"False"))))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 42 18 43
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 42 18 43
, srcInfoPoints = []
}
7
"7"))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 1 21 35
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 1 21 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 1 21 12
, srcInfoPoints = []
}
"answer_read"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 13 21 35
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 21 13 21 14 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 35
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 19
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 19
, srcInfoPoints = []
}
"show")))
(Paren
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 20 21 35
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 21 20 21 21
, SrcSpan "tests/examples/Vta1.hs" 21 34 21 35
]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 34
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 30
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 25
, srcInfoPoints = []
}
"read")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 26 21 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 21 26 21 27 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 27 21 30
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 27 21 30
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 27 21 30
, srcInfoPoints = []
}
"Int")))))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 31 21 34
, srcInfoPoints = []
}
(String
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 31 21 34
, srcInfoPoints = []
}
"3"
"3"))))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 1 22 39
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 1 22 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 1 22 12
, srcInfoPoints = []
}
"answer_show"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 13 22 39
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 22 13 22 14 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 39
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 28
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 19
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 19
, srcInfoPoints = []
}
"show")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 20 22 28
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 22 20 22 21 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 21 22 28
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 21 22 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 21 22 28
, srcInfoPoints = []
}
"Integer")))))
(Paren
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 29 22 39
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 22 29 22 30
, SrcSpan "tests/examples/Vta1.hs" 22 38 22 39
]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 38
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 34
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 34
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 34
, srcInfoPoints = []
}
"read")))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 35 22 38
, srcInfoPoints = []
}
(String
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 35 22 38
, srcInfoPoints = []
}
"5"
"5"))))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 1 23 44
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 1 23 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 1 23 16
, srcInfoPoints = []
}
"answer_showread"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 17 23 44
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 17 23 18 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 44
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 28
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 23
, srcInfoPoints = []
}
"show")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 24 23 28
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 24 23 25 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 25 23 28
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 25 23 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 25 23 28
, srcInfoPoints = []
}
"Int")))))
(Paren
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 29 23 44
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 23 29 23 30
, SrcSpan "tests/examples/Vta1.hs" 23 43 23 44
]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 43
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 39
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 34
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 34
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 34
, srcInfoPoints = []
}
"read")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 35 23 39
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 35 23 36 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 36 23 39
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 36 23 39
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 36 23 39
, srcInfoPoints = []
}
"Int")))))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 40 23 43
, srcInfoPoints = []
}
(String
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 40 23 43
, srcInfoPoints = []
}
"7"
"7"))))))
Nothing
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 1 25 23
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 1 25 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 1 25 8
, srcInfoPoints = []
}
"intcons")
[ PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 9 25 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 9 25 10
, srcInfoPoints = []
}
"a")
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 11 25 23
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 25 11 25 12 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 23
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 21
, srcInfoPoints = []
}
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 16
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 25 13 25 14
, SrcSpan "tests/examples/Vta1.hs" 25 14 25 15
, SrcSpan "tests/examples/Vta1.hs" 25 15 25 16
]
}
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 16
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 25 13 25 14
, SrcSpan "tests/examples/Vta1.hs" 25 14 25 15
, SrcSpan "tests/examples/Vta1.hs" 25 15 25 16
]
}
(Cons
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 14 25 15
, srcInfoPoints = []
})))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 17 25 21
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 25 17 25 18 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 18 25 21
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 18 25 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 18 25 21
, srcInfoPoints = []
}
"Int")))))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 22 25 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 22 25 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 22 25 23
, srcInfoPoints = []
}
"a")))))
Nothing
]
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 1 27 34
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 1 27 34
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 1 27 8
, srcInfoPoints = []
}
"intpair")
[ PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 9 27 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 9 27 10
, srcInfoPoints = []
}
"x")
, PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 11 27 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 11 27 12
, srcInfoPoints = []
}
"y")
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 13 27 34
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 27 13 27 14 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 34
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 32
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 30
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 25
, srcInfoPoints = []
}
"pairup_sig")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 26 27 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 27 26 27 27 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 27 27 30
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 27 27 30
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 27 27 30
, srcInfoPoints = []
}
"Int")))))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 31 27 32
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 31 27 32
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 31 27 32
, srcInfoPoints = []
}
"x"))))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 33 27 34
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 33 27 34
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 33 27 34
, srcInfoPoints = []
}
"y")))))
Nothing
]
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 1 29 39
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 1 29 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 1 29 14
, srcInfoPoints = []
}
"answer_pairup"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 15 29 39
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 29 15 29 16 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 39
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 34
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 32
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 27
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 27
, srcInfoPoints = []
}
"pairup_sig")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 28 29 32
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 29 28 29 29 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 29 29 32
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 29 29 32
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 29 29 32
, srcInfoPoints = []
}
"Int")))))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 33 29 34
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 33 29 34
, srcInfoPoints = []
}
5
"5")))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 35 29 39
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 35 29 39
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 35 29 39
, srcInfoPoints = []
}
"True")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 1 30 35
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 1 30 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 1 30 15
, srcInfoPoints = []
}
"answer_intpair"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 16 30 35
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 30 16 30 17 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 35
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 27
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 25
, srcInfoPoints = []
}
"intpair")))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 26 30 27
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 26 30 27
, srcInfoPoints = []
}
1
"1")))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 28 30 35
, srcInfoPoints = []
}
(String
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 28 30 35
, srcInfoPoints = []
}
"hello"
"hello"))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 1 31 30
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 1 31 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 1 31 15
, srcInfoPoints = []
}
"answer_intcons"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 16 31 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 31 16 31 17 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 30
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 27
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 25
, srcInfoPoints = []
}
"intcons")))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 26 31 27
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 26 31 27
, srcInfoPoints = []
}
7
"7")))
(List
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 28 31 30
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 31 28 31 29
, SrcSpan "tests/examples/Vta1.hs" 31 29 31 30
]
}
[])))
Nothing
, TypeFamDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 1 33 16
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 33 1 33 5
, SrcSpan "tests/examples/Vta1.hs" 33 6 33 12
]
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 13 33 16
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 13 33 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 13 33 14
, srcInfoPoints = []
}
"F"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 15 33 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 15 33 16
, srcInfoPoints = []
}
"a")))
Nothing
Nothing
, TypeInsDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 1 34 28
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 34 1 34 5
, SrcSpan "tests/examples/Vta1.hs" 34 6 34 14
, SrcSpan "tests/examples/Vta1.hs" 34 22 34 23
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 21
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 16
, srcInfoPoints = []
}
"F")))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 17 34 21
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 17 34 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 17 34 21
, srcInfoPoints = []
}
"Char"))))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 24 34 28
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 24 34 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 24 34 28
, srcInfoPoints = []
}
"Bool")))
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 1 36 14
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 36 3 36 5 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 1 36 2
, srcInfoPoints = []
}
"g"
]
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 14
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 36 10 36 12 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 9
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 7
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 7
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 7
, srcInfoPoints = []
}
"F")))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 8 36 9
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 8 36 9
, srcInfoPoints = []
}
"a")))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 13 36 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 13 36 14
, srcInfoPoints = []
}
"a")))
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 1 37 16
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 1 37 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 1 37 2
, srcInfoPoints = []
}
"g")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 3 37 4
, srcInfoPoints = []
}
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 5 37 16
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 37 5 37 6 ]
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 7 37 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 7 37 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 7 37 16
, srcInfoPoints = []
}
"undefined"))))
Nothing
]
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 1 39 10
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 39 3 39 5 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 1 39 2
, srcInfoPoints = []
}
"f"
]
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 6 39 10
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 6 39 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 6 39 10
, srcInfoPoints = []
}
"Char")))
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 1 40 11
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 1 40 2
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 1 40 2
, srcInfoPoints = []
}
"f"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 3 40 11
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 40 3 40 4 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 11
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 6
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 6
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 6
, srcInfoPoints = []
}
"g")))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 7 40 11
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 7 40 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 7 40 11
, srcInfoPoints = []
}
"True")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 1 42 23
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 1 42 7
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 1 42 7
, srcInfoPoints = []
}
"answer"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 8 42 23
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 42 8 42 9 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 23
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 17
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 11
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 11
, srcInfoPoints = []
}
"g")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 12 42 17
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 42 12 42 13 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 13 42 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 13 42 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 13 42 17
, srcInfoPoints = []
}
"Char")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 18 42 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 18 42 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 18 42 23
, srcInfoPoints = []
}
"False")))))
Nothing
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 1 44 54
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 9 44 11 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 1 44 8
, srcInfoPoints = []
}
"mapSame"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 12 44 54
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 44 12 44 18
, SrcSpan "tests/examples/Vta1.hs" 44 20 44 21
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 19 44 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 19 44 20
, srcInfoPoints = []
}
"b")
])
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 22 44 54
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 41 44 43 ]
}
(TyParen
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 22 44 40
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 44 22 44 23
, SrcSpan "tests/examples/Vta1.hs" 44 39 44 40
]
}
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 23 44 39
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 44 23 44 29
, SrcSpan "tests/examples/Vta1.hs" 44 31 44 32
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 30 44 31
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 30 44 31
, srcInfoPoints = []
}
"a")
])
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 33 44 39
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 35 44 37 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 33 44 34
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 33 44 34
, srcInfoPoints = []
}
"a"))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 38 44 39
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 38 44 39
, srcInfoPoints = []
}
"a")))))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 44 44 54
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 48 44 50 ]
}
(TyList
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 44 44 47
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 44 44 44 45
, SrcSpan "tests/examples/Vta1.hs" 44 46 44 47
]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 45 44 46
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 45 44 46
, srcInfoPoints = []
}
"b")))
(TyList
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 51 44 54
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 44 51 44 52
, SrcSpan "tests/examples/Vta1.hs" 44 53 44 54
]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 52 44 53
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 52 44 53
, srcInfoPoints = []
}
"b"))))))
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 1 46 52
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 1 45 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 1 45 8
, srcInfoPoints = []
}
"mapSame")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 9 45 10
, srcInfoPoints = []
}
, PList
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 11 45 13
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 45 11 45 12
, SrcSpan "tests/examples/Vta1.hs" 45 12 45 13
]
}
[]
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 14 45 18
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 45 14 45 15 ]
}
(List
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 16 45 18
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 45 16 45 17
, SrcSpan "tests/examples/Vta1.hs" 45 17 45 18
]
}
[]))
Nothing
, Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 1 46 52
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 1 46 8
, srcInfoPoints = []
}
"mapSame")
[ PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 9 46 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 9 46 12
, srcInfoPoints = []
}
"fun")
, PParen
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 13 46 19
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 46 13 46 14
, SrcSpan "tests/examples/Vta1.hs" 46 18 46 19
]
}
(PInfixApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 14 46 18
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 14 46 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 14 46 15
, srcInfoPoints = []
}
"x"))
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 15 46 16
, srcInfoPoints = []
}
(Cons
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 15 46 16
, srcInfoPoints = []
}))
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 16 46 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 16 46 18
, srcInfoPoints = []
}
"xs")))
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 20 46 52
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 46 20 46 21 ]
}
(InfixApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 52
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 30
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 28
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 25
, srcInfoPoints = []
}
"fun")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 26 46 28
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 46 26 46 27 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 27 46 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 27 46 28
, srcInfoPoints = []
}
"b"))))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 29 46 30
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 29 46 30
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 29 46 30
, srcInfoPoints = []
}
"x"))))
(QConOp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 31 46 32
, srcInfoPoints = []
}
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 31 46 32
, srcInfoPoints = []
}
(Cons
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 31 46 32
, srcInfoPoints = []
})))
(Paren
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 33 46 52
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 46 33 46 34
, SrcSpan "tests/examples/Vta1.hs" 46 51 46 52
]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 51
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 48
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 44
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 41
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 41
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 46 34 46 41
, srcInfoPoints = []
}
"mapSame")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 42 46 44
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 46 42 46 43 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 43 46 44
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 46 43 46 44
, srcInfoPoints = []
}
"b"))))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 45 46 48
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 45 46 48
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 45 46 48
, srcInfoPoints = []
}
"fun"))))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 49 46 51
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 49 46 51
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 49 46 51
, srcInfoPoints = []
}
"xs")))))))
Nothing
]
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 1 48 46
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 6 48 8 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 1 48 5
, srcInfoPoints = []
}
"pair"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 9 48 46
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 48 9 48 15
, SrcSpan "tests/examples/Vta1.hs" 48 17 48 18
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 16 48 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 16 48 17
, srcInfoPoints = []
}
"a")
])
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 19 48 46
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 20 48 22 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 19 48 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 19 48 20
, srcInfoPoints = []
}
"a"))
(TyParen
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 23 48 46
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 48 23 48 24
, SrcSpan "tests/examples/Vta1.hs" 48 45 48 46
]
}
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 24 48 45
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 48 24 48 30
, SrcSpan "tests/examples/Vta1.hs" 48 32 48 33
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 31 48 32
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 31 48 32
, srcInfoPoints = []
}
"b")
])
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 34 48 45
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 36 48 38 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 34 48 35
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 34 48 35
, srcInfoPoints = []
}
"b"))
(TyTuple
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 39 48 45
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 48 39 48 40
, SrcSpan "tests/examples/Vta1.hs" 48 41 48 42
, SrcSpan "tests/examples/Vta1.hs" 48 44 48 45
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 40 48 41
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 40 48 41
, srcInfoPoints = []
}
"a")
, TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 43 48 44
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 43 48 44
, srcInfoPoints = []
}
"b")
]))))))
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 1 49 18
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 1 49 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 1 49 5
, srcInfoPoints = []
}
"pair")
[ PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 6 49 7
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 6 49 7
, srcInfoPoints = []
}
"x")
, PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 8 49 9
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 8 49 9
, srcInfoPoints = []
}
"y")
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 10 49 18
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 49 10 49 11 ]
}
(Tuple
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 12 49 18
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 49 12 49 13
, SrcSpan "tests/examples/Vta1.hs" 49 14 49 15
, SrcSpan "tests/examples/Vta1.hs" 49 17 49 18
]
}
Boxed
[ Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 13 49 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 13 49 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 13 49 14
, srcInfoPoints = []
}
"x"))
, Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 16 49 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 16 49 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 16 49 17
, srcInfoPoints = []
}
"y"))
]))
Nothing
]
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 1 51 27
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 1 51 2
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 1 51 2
, srcInfoPoints = []
}
"b"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 3 51 27
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 51 3 51 4 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 27
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 22
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 16
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 14
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 9
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 9
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 9
, srcInfoPoints = []
}
"pair")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 10 51 14
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 51 10 51 11 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 11 51 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 11 51 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 11 51 14
, srcInfoPoints = []
}
"Int")))))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 15 51 16
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 15 51 16
, srcInfoPoints = []
}
3
"3")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 17 51 22
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 51 17 51 18 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 18 51 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 18 51 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 18 51 22
, srcInfoPoints = []
}
"Bool")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 23 51 27
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 23 51 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 23 51 27
, srcInfoPoints = []
}
"True")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 1 52 23
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 1 52 2
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 1 52 2
, srcInfoPoints = []
}
"c"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 3 52 23
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 52 3 52 4 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 23
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 15
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 12
, srcInfoPoints = []
}
"mapSame")))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 13 52 15
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 13 52 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 13 52 15
, srcInfoPoints = []
}
"id"))))
(List
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 16 52 23
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 52 16 52 17
, SrcSpan "tests/examples/Vta1.hs" 52 18 52 19
, SrcSpan "tests/examples/Vta1.hs" 52 20 52 21
, SrcSpan "tests/examples/Vta1.hs" 52 22 52 23
]
}
[ Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 17 52 18
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 17 52 18
, srcInfoPoints = []
}
1
"1")
, Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 19 52 20
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 19 52 20
, srcInfoPoints = []
}
2
"2")
, Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 21 52 22
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 21 52 22
, srcInfoPoints = []
}
3
"3")
])))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 1 53 22
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 1 53 2
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 1 53 2
, srcInfoPoints = []
}
"d"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 3 53 22
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 53 3 53 4 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 22
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 17
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 11
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 9
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 9
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 9
, srcInfoPoints = []
}
"pair")))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 10 53 11
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 10 53 11
, srcInfoPoints = []
}
3
"3")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 12 53 17
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 53 12 53 13 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 13 53 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 13 53 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 13 53 17
, srcInfoPoints = []
}
"Bool")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 18 53 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 18 53 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 18 53 22
, srcInfoPoints = []
}
"True")))))
Nothing
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 1 55 52
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 9 55 11 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 1 55 8
, srcInfoPoints = []
}
"pairnum"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 12 55 52
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 55 12 55 18
, SrcSpan "tests/examples/Vta1.hs" 55 20 55 21
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 19 55 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 19 55 20
, srcInfoPoints = []
}
"a")
])
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ]
}
(TypeA
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ]
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 25
, srcInfoPoints = []
}
"Num")))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 26 55 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 26 55 27
, srcInfoPoints = []
}
"a"))))))
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 31 55 52
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 55 31 55 37
, SrcSpan "tests/examples/Vta1.hs" 55 39 55 40
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 38 55 39
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 38 55 39
, srcInfoPoints = []
}
"b")
])
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 41 55 52
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 43 55 45 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 41 55 42
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 41 55 42
, srcInfoPoints = []
}
"b"))
(TyTuple
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 46 55 52
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 55 46 55 47
, SrcSpan "tests/examples/Vta1.hs" 55 48 55 49
, SrcSpan "tests/examples/Vta1.hs" 55 51 55 52
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 47 55 48
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 47 55 48
, srcInfoPoints = []
}
"a")
, TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 50 55 51
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 50 55 51
, srcInfoPoints = []
}
"b")
]))))
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 1 56 17
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 1 56 8
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 1 56 8
, srcInfoPoints = []
}
"pairnum"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 9 56 17
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 56 9 56 10 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 17
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 15
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 15
, srcInfoPoints = []
}
"pair")))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 16 56 17
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 16 56 17
, srcInfoPoints = []
}
3
"3"))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 1 58 73
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 1 58 2
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 1 58 2
, srcInfoPoints = []
}
"e"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 3 58 73
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 3 58 4 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 73
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 68
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 62
, srcInfoPoints = []
}
(Paren
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 57
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 58 5 58 6
, SrcSpan "tests/examples/Vta1.hs" 58 56 58 57
]
}
(ExpTypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 56
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 13 58 15 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 12
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 10
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 6 58 10
, srcInfoPoints = []
}
"pair")))
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 11 58 12
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 11 58 12
, srcInfoPoints = []
}
3
"3")))
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 16 58 56
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 58 16 58 22
, SrcSpan "tests/examples/Vta1.hs" 58 24 58 25
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 23 58 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 23 58 24
, srcInfoPoints = []
}
"a")
])
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 26 58 34
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ]
}
(TypeA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 26 58 34
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 26 58 34
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 26 58 34
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ]
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 26 58 29
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/Vta1.hs" 58 26 58 29
, srcInfoPoints = []
}
"Num")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 30 58 31
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 30 58 31
, srcInfoPoints = []
}
"a"))))))
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 35 58 56
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 58 35 58 41
, SrcSpan "tests/examples/Vta1.hs" 58 43 58 44
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 42 58 43
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 42 58 43
, srcInfoPoints = []
}
"b")
])
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 45 58 56
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 58 47 58 49 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 45 58 46
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 45 58 46
, srcInfoPoints = []
}
"b"))
(TyTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 50 58 56
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 58 50 58 51
, SrcSpan "tests/examples/Vta1.hs" 58 52 58 53
, SrcSpan "tests/examples/Vta1.hs" 58 55 58 56
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 51 58 52
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 51 58 52
, srcInfoPoints = []
}
"a")
, TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 54 58 55
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 58 54 58 55
, srcInfoPoints = []
}
"b")
]))))))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 58 58 62
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 58 58 59 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 59 58 62
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 59 58 62
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 59 58 62
, srcInfoPoints = []
}
"Int")))))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 63 58 68
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 63 58 64 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 64 58 68
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 64 58 68
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 64 58 68
, srcInfoPoints = []
}
"Bool")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 69 58 73
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 69 58 73
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 69 58 73
, srcInfoPoints = []
}
"True")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 1 59 28
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 1 59 2
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 1 59 2
, srcInfoPoints = []
}
"h"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 3 59 28
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 59 3 59 4 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 28
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 23
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 17
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 12
, srcInfoPoints = []
}
"pairnum")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 13 59 17
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 59 13 59 14 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 14 59 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 14 59 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 14 59 17
, srcInfoPoints = []
}
"Int")))))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 18 59 23
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 59 18 59 19 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 19 59 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 19 59 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 19 59 23
, srcInfoPoints = []
}
"Bool")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 24 59 28
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 24 59 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 24 59 28
, srcInfoPoints = []
}
"True")))))
Nothing
, DataDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 1 61 29
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 61 26 61 27 ]
}
(DataType
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 1 61 5
, srcInfoPoints = []
})
Nothing
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 6 61 25
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 6 61 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 6 61 11
, srcInfoPoints = []
}
"First"))
(KindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 12 61 25
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 61 12 61 13
, SrcSpan "tests/examples/Vta1.hs" 61 15 61 17
, SrcSpan "tests/examples/Vta1.hs" 61 24 61 25
]
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 13 61 14
, srcInfoPoints = []
}
"a")
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 18 61 24
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 61 20 61 22 ]
}
(TyStar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 18 61 19
, srcInfoPoints = []
})
(TyStar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 23 61 24
, srcInfoPoints = []
}))))
[ QualConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 28 61 29
, srcInfoPoints = []
}
Nothing
Nothing
(ConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 28 61 29
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 28 61 29
, srcInfoPoints = []
}
"F")
[])
]
[]
, DataDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 1 62 24
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 62 21 62 22 ]
}
(DataType
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 1 62 5
, srcInfoPoints = []
})
Nothing
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 6 62 20
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 6 62 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 6 62 11
, srcInfoPoints = []
}
"Proxy"))
(KindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 12 62 20
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 62 12 62 13
, SrcSpan "tests/examples/Vta1.hs" 62 15 62 17
, SrcSpan "tests/examples/Vta1.hs" 62 19 62 20
]
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 13 62 14
, srcInfoPoints = []
}
"a")
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 18 62 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 18 62 19
, srcInfoPoints = []
}
"k"))))
[ QualConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 23 62 24
, srcInfoPoints = []
}
Nothing
Nothing
(ConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 23 62 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 23 62 24
, srcInfoPoints = []
}
"P")
[])
]
[]
, DataDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 1 63 34
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 31 63 32 ]
}
(DataType
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 1 63 5
, srcInfoPoints = []
})
Nothing
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 6 63 30
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 6 63 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 6 63 11
, srcInfoPoints = []
}
"Three"))
(KindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 12 63 30
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 63 12 63 13
, SrcSpan "tests/examples/Vta1.hs" 63 15 63 17
, SrcSpan "tests/examples/Vta1.hs" 63 29 63 30
]
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 13 63 14
, srcInfoPoints = []
}
"a")
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 18 63 29
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 20 63 22 ]
}
(TyStar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 18 63 19
, srcInfoPoints = []
})
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 29
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 25 63 27 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 24
, srcInfoPoints = []
}
"k"))
(TyStar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 28 63 29
, srcInfoPoints = []
})))))
[ QualConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 33 63 34
, srcInfoPoints = []
}
Nothing
Nothing
(ConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 33 63 34
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 33 63 34
, srcInfoPoints = []
}
"T")
[])
]
[]
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 1 65 22
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 65 5 65 7 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 1 65 4
, srcInfoPoints = []
}
"foo"
]
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 22
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 65 16 65 18 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 15
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 13
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 13
, srcInfoPoints = []
}
"Proxy")))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 14 65 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 14 65 15
, srcInfoPoints = []
}
"a")))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 19 65 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 19 65 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 19 65 22
, srcInfoPoints = []
}
"Int"))))
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 1 66 10
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 1 66 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 1 66 4
, srcInfoPoints = []
}
"foo")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 5 66 6
, srcInfoPoints = []
}
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 7 66 10
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 66 7 66 8 ]
}
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 9 66 10
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 9 66 10
, srcInfoPoints = []
}
0
"0")))
Nothing
]
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 1 68 24
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 68 7 68 9 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 1 68 6
, srcInfoPoints = []
}
"first"
]
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 24
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 68 18 68 20 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 17
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 15
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 15
, srcInfoPoints = []
}
"First")))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 16 68 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 16 68 17
, srcInfoPoints = []
}
"a")))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 21 68 24
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 21 68 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 21 68 24
, srcInfoPoints = []
}
"Int"))))
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 1 69 12
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 1 69 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 1 69 6
, srcInfoPoints = []
}
"first")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 7 69 8
, srcInfoPoints = []
}
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 9 69 12
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 69 9 69 10 ]
}
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 11 69 12
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 11 69 12
, srcInfoPoints = []
}
0
"0")))
Nothing
]
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 1 71 16
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 1 71 6
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 1 71 6
, srcInfoPoints = []
}
"fTest"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 7 71 16
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 71 7 71 8 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 16
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 14
, srcInfoPoints = []
}
"first")))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 15 71 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 15 71 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 15 71 16
, srcInfoPoints = []
}
"F")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 1 72 24
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 1 72 7
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 1 72 7
, srcInfoPoints = []
}
"fMaybe"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 8 72 24
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 72 8 72 9 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 24
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 22
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 15
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 15
, srcInfoPoints = []
}
"first")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 16 72 22
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 72 16 72 17 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 17 72 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 17 72 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 17 72 22
, srcInfoPoints = []
}
"Maybe")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 23 72 24
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 23 72 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 23 72 24
, srcInfoPoints = []
}
"F")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 1 74 13
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 1 74 5
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 1 74 5
, srcInfoPoints = []
}
"test"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 6 74 13
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 74 6 74 7 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 13
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 11
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 11
, srcInfoPoints = []
}
"foo")))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 12 74 13
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 12 74 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 12 74 13
, srcInfoPoints = []
}
"P")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 1 75 18
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 1 75 4
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 1 75 4
, srcInfoPoints = []
}
"bar"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 5 75 18
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 75 5 75 6 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 18
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 16
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 10
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 10
, srcInfoPoints = []
}
"foo")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 11 75 16
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 75 11 75 12 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 12 75 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 12 75 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 12 75 16
, srcInfoPoints = []
}
"Bool")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 17 75 18
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 17 75 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 17 75 18
, srcInfoPoints = []
}
"P")))))
Nothing
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 1 77 22
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 77 5 77 7 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 1 77 4
, srcInfoPoints = []
}
"too"
]
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 22
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 77 16 77 18 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 15
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 13
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 13
, srcInfoPoints = []
}
"Three")))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 14 77 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 14 77 15
, srcInfoPoints = []
}
"a")))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 19 77 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 19 77 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 19 77 22
, srcInfoPoints = []
}
"Int"))))
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 1 78 10
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 1 78 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 1 78 4
, srcInfoPoints = []
}
"too")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 5 78 6
, srcInfoPoints = []
}
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 7 78 10
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 78 7 78 8 ]
}
(Lit
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 9 78 10
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 9 78 10
, srcInfoPoints = []
}
3
"3")))
Nothing
]
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 1 80 18
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 1 80 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 1 80 10
, srcInfoPoints = []
}
"threeBase"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 11 80 18
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 80 11 80 12 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 18
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 16
, srcInfoPoints = []
}
"too")))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 17 80 18
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 17 80 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 17 80 18
, srcInfoPoints = []
}
"T")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 1 81 24
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 1 81 8
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 1 81 8
, srcInfoPoints = []
}
"threeOk"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 9 81 24
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 81 9 81 10 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 24
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 22
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 14
, srcInfoPoints = []
}
"too")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 15 81 22
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 81 15 81 16 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 16 81 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 16 81 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 16 81 22
, srcInfoPoints = []
}
"Either")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 23 81 24
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 23 81 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 23 81 24
, srcInfoPoints = []
}
"T")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 1 83 20
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 1 83 5
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 1 83 5
, srcInfoPoints = []
}
"blah"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 6 83 20
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 83 6 83 7 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 20
, srcInfoPoints = []
}
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 15
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 15
, srcInfoPoints = []
}
"Nothing")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 16 83 20
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 83 16 83 17 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 17 83 20
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 17 83 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 17 83 20
, srcInfoPoints = []
}
"Int"))))))
Nothing
, DataDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 1 85 61
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 11 85 12 ]
}
(NewType
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 1 85 8
, srcInfoPoints = []
})
Nothing
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 9 85 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 9 85 10
, srcInfoPoints = []
}
"N"))
[ QualConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 13 85 61
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 85 17 85 18
, SrcSpan "tests/examples/Vta1.hs" 85 60 85 61
]
}
Nothing
Nothing
(RecDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 13 85 61
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 85 17 85 18
, SrcSpan "tests/examples/Vta1.hs" 85 60 85 61
]
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 13 85 16
, srcInfoPoints = []
}
"MkN")
[ FieldDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 19 85 59
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 25 85 27 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 19 85 24
, srcInfoPoints = []
}
"unMkN"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 28 85 59
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 85 28 85 34
, SrcSpan "tests/examples/Vta1.hs" 85 36 85 37
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 35 85 36
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 35 85 36
, srcInfoPoints = []
}
"a")
])
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 47
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ]
}
(TypeA
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 47
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 47
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 85 38 85 47
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ]
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 85 38 85 42
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 85 38 85 42
, srcInfoPoints = []
}
"Show")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 85 43 85 44
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Vta1.hs" 85 43 85 44
, srcInfoPoints = []
}
"a"))))))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 48 85 59
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 50 85 52 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 48 85 49
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 48 85 49
, srcInfoPoints = []
}
"a"))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 53 85 59
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 53 85 59
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 53 85 59
, srcInfoPoints = []
}
"String")))))
])
]
[]
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 1 87 13
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 1 87 2
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 1 87 2
, srcInfoPoints = []
}
"n"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 3 87 13
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 87 3 87 4 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 13
, srcInfoPoints = []
}
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 8
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 8
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 8
, srcInfoPoints = []
}
"MkN")))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 9 87 13
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 9 87 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 9 87 13
, srcInfoPoints = []
}
"show")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 1 89 20
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 1 89 4
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 1 89 4
, srcInfoPoints = []
}
"boo"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 5 89 20
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 89 5 89 6 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 20
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 14
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 12
, srcInfoPoints = []
}
"unMkN")))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 13 89 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 13 89 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 13 89 14
, srcInfoPoints = []
}
"n"))))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 15 89 20
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 89 15 89 16 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 16 89 20
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 16 89 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 16 89 20
, srcInfoPoints = []
}
"Bool"))))))
Nothing
, TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 1 91 47
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 6 91 8 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 1 91 5
, srcInfoPoints = []
}
"boo2"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 9 91 47
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 91 9 91 15
, SrcSpan "tests/examples/Vta1.hs" 91 30 91 31
]
}
(Just
[ KindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 16 91 29
, srcInfoPoints =
[ SrcSpan "tests/examples/Vta1.hs" 91 16 91 17
, SrcSpan "tests/examples/Vta1.hs" 91 19 91 21
, SrcSpan "tests/examples/Vta1.hs" 91 28 91 29
]
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 17 91 18
, srcInfoPoints = []
}
"a")
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 22 91 28
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 24 91 26 ]
}
(TyStar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 22 91 23
, srcInfoPoints = []
})
(TyStar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 27 91 28
, srcInfoPoints = []
}))
])
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 47
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 40 91 42 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 39
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 37
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 37
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 37
, srcInfoPoints = []
}
"Proxy")))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 38 91 39
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 38 91 39
, srcInfoPoints = []
}
"a")))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 43 91 47
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 43 91 47
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 43 91 47
, srcInfoPoints = []
}
"Bool")))))
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 1 92 15
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 1 92 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 1 92 5
, srcInfoPoints = []
}
"boo2")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 6 92 7
, srcInfoPoints = []
}
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 8 92 15
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 92 8 92 9 ]
}
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 10 92 15
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 10 92 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 10 92 15
, srcInfoPoints = []
}
"False"))))
Nothing
]
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 1 94 14
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 1 94 5
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 1 94 5
, srcInfoPoints = []
}
"base"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 6 94 14
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 94 6 94 7 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 14
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 12
, srcInfoPoints = []
}
"boo2")))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 13 94 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 13 94 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 13 94 14
, srcInfoPoints = []
}
"P")))))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 1 95 20
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 1 95 5
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 1 95 5
, srcInfoPoints = []
}
"bar'"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 5 95 20
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 95 5 95 6 ]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 20
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 18
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 11
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 11
, srcInfoPoints = []
}
"boo2")))
(TypeApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 12 95 18
, srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 95 12 95 13 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 13 95 18
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 13 95 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 13 95 18
, srcInfoPoints = []
}
"Maybe")))))
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 19 95 20
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 19 95 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 19 95 20
, srcInfoPoints = []
}
"P")))))
Nothing
]
, [ Comment
False
(SrcSpan "tests/examples/Vta1.hs" 4 1 4 40)
" tests about visible type application"
, Comment False (SrcSpan "tests/examples/Vta1.hs" 18 44 18 46) ""
, Comment
False
(SrcSpan "tests/examples/Vta1.hs" 19 1 19 29)
" (False, 7) :: (Bool, Int)"
, Comment
False
(SrcSpan "tests/examples/Vta1.hs" 21 36 21 52)
" \"3\" :: String"
, Comment
False
(SrcSpan "tests/examples/Vta1.hs" 22 40 22 56)
" \"5\" :: String"
, Comment
False
(SrcSpan "tests/examples/Vta1.hs" 23 45 23 61)
" \"7\" :: String"
, Comment
False
(SrcSpan "tests/examples/Vta1.hs" 29 40 29 67)
" (5, True) :: (Int, Bool)"
, Comment
False
(SrcSpan "tests/examples/Vta1.hs" 30 36 30 68)
" (1, \"hello\") :: (Int, String)"
, Comment
False
(SrcSpan "tests/examples/Vta1.hs" 31 36 31 51)
" [7] :: [Int]"
, Comment
False
(SrcSpan "tests/examples/Vta1.hs" 62 25 62 77)
" This expands to P (kind variable) (type variable)"
, Comment
False (SrcSpan "tests/examples/Vta1.hs" 75 19 75 33) " should work"
, Comment
False (SrcSpan "tests/examples/Vta1.hs" 95 21 95 35) " should work"
]
)