haskell-src-exts-1.22.0: tests/examples/ScopedTypeVariables.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 1 1 13 1
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 1 1 1 1
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 1 3 1
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 1 3 1
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 1 3 1
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 4 1 4 1
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 1 9 1
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 1 11 1
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 1 12 1
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 13 1 13 1
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 13 1 13 1
]
}
Nothing
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 1 1 1 37
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 1 1 1 13
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 1 34 1 37
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 1 14 1 33
, srcInfoPoints = []
}
"ScopedTypeVariables"
]
]
[]
[ TypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 1 3 16
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 6 3 8 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 1 3 5
, srcInfoPoints = []
}
"test"
]
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 9 3 16
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 9 3 11
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 9 3 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 9 3 11
, srcInfoPoints = []
}
"IO")))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 12 3 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 12 3 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 3 12 3 16
, srcInfoPoints = []
}
"Char"))))
, PatBind
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 4 1 6 13
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 4 1 4 5
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 4 1 4 5
, srcInfoPoints = []
}
"test"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 4 6 6 13
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 4 6 4 7 ]
}
(Do
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 4 8 6 13
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 4 8 4 10
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 5 5 5
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 6 5 6 5
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 1 9 0
]
}
[ Generator
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 5 5 25
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 15 5 17 ]
}
(PatTypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 5 5 14
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 7 5 9 ]
}
(PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 5 5 6
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 5 5 6
, srcInfoPoints = []
}
"x"))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 10 5 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 10 5 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 10 5 14
, srcInfoPoints = []
}
"Char"))))
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 18 5 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 18 5 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 5 18 5 25
, srcInfoPoints = []
}
"getChar")))
, Qualifier
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 6 5 6 13
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 6 5 6 13
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 6 5 6 11
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 6 5 6 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 6 5 6 11
, srcInfoPoints = []
}
"return")))
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 6 12 6 13
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 6 12 6 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 6 12 6 13
, srcInfoPoints = []
}
"x"))))
]))
Nothing
, PatBind
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 1 9 26
, srcInfoPoints = []
}
(PatTypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 1 9 16
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 7 9 9 ]
}
(PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 1 9 6
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 1 9 6
, srcInfoPoints = []
}
"value"))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 10 9 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 10 9 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 10 9 16
, srcInfoPoints = []
}
"String"))))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 17 9 26
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 17 9 18 ]
}
(Lit
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 19 9 26
, srcInfoPoints = []
}
(String
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 9 19 9 26
, srcInfoPoints = []
}
"Hello"
"Hello")))
Nothing
, TypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 1 11 40
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 12 11 14 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 1 11 11
, srcInfoPoints = []
}
"forallTest"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 15 11 40
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 15 11 21
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 24 11 25
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 22 11 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 22 11 23
, srcInfoPoints = []
}
"x")
])
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 26 11 33
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 31 11 33 ]
}
(TypeA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 26 11 33
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 31 11 33 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 26 11 33
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 31 11 33 ]
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 26 11 33
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 31 11 33 ]
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 26 11 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 26 11 28
, srcInfoPoints = []
}
"Eq")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 29 11 30
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 29 11 30
, srcInfoPoints = []
}
"x"))))))
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 34 11 40
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 36 11 38 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 34 11 35
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 34 11 35
, srcInfoPoints = []
}
"x"))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 39 11 40
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 11 39 11 40
, srcInfoPoints = []
}
"x"))))
, FunBind
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 1 12 54
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 1 12 54
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 1 12 11
, srcInfoPoints = []
}
"forallTest")
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 12 12 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 12 12 13
, srcInfoPoints = []
}
"x")
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 14 12 54
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 14 12 15 ]
}
(If
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 16 12 54
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 16 12 18
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 26 12 30
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 48 12 52
]
}
(InfixApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 19 12 25
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 19 12 20
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 19 12 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 19 12 20
, srcInfoPoints = []
}
"x")))
(QVarOp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 21 12 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 21 12 23
, srcInfoPoints = []
}
(Symbol
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 21 12 23
, srcInfoPoints = []
}
"==")))
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 24 12 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 24 12 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 24 12 25
, srcInfoPoints = []
}
"x"))))
(Paren
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 31 12 47
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 31 12 32
, SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 46 12 47
]
}
(ExpTypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 32 12 46
, srcInfoPoints =
[ SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 42 12 44 ]
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 32 12 41
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 32 12 41
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 32 12 41
, srcInfoPoints = []
}
"undefined")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 45 12 46
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 45 12 46
, srcInfoPoints = []
}
"x"))))
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 53 12 54
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 53 12 54
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ScopedTypeVariables.hs" 12 53 12 54
, srcInfoPoints = []
}
"x")))))
Nothing
]
]
, []
)