haskell-src-exts-1.22.0: tests/examples/GenericTree.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 1 1 8 1
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 1 1 1 1
, SrcSpan "tests/examples/GenericTree.hs" 2 1 2 1
, SrcSpan "tests/examples/GenericTree.hs" 2 1 2 1
, SrcSpan "tests/examples/GenericTree.hs" 4 1 4 1
, SrcSpan "tests/examples/GenericTree.hs" 6 1 6 1
, SrcSpan "tests/examples/GenericTree.hs" 7 1 7 1
, SrcSpan "tests/examples/GenericTree.hs" 8 1 8 1
, SrcSpan "tests/examples/GenericTree.hs" 8 1 8 1
]
}
(Just
(ModuleHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 2 1 2 25
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 2 1 2 7
, SrcSpan "tests/examples/GenericTree.hs" 2 20 2 25
]
}
(ModuleName
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 2 8 2 19
, srcInfoPoints = []
}
"GenericTree")
Nothing
Nothing))
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 1 1 1 28
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 1 1 1 13
, SrcSpan "tests/examples/GenericTree.hs" 1 25 1 28
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 1 14 1 24
, srcInfoPoints = []
}
"RankNTypes"
]
]
[ ImportDecl
{ importAnn =
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 4 1 4 21
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 4 1 4 7 ]
}
, importModule =
ModuleName
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 4 8 4 21
, srcInfoPoints = []
}
"Data.Typeable"
, importQualified = False
, importSrc = False
, importSafe = False
, importPkg = Nothing
, importAs = Nothing
, importSpecs = Nothing
}
]
[ TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 1 6 83
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 8 6 10 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 1 6 7
, srcInfoPoints = []
}
"dynRep"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 11 6 83
, srcInfoPoints = []
}
Nothing
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 11 6 26
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 11 6 12
, SrcSpan "tests/examples/GenericTree.hs" 6 22 6 23
, SrcSpan "tests/examples/GenericTree.hs" 6 24 6 26
]
}
(ParenA
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 11 6 26
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 11 6 12
, SrcSpan "tests/examples/GenericTree.hs" 6 22 6 23
, SrcSpan "tests/examples/GenericTree.hs" 6 24 6 26
]
}
(TypeA
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 12 6 22
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 12 6 22
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 12 6 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 12 6 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 12 6 20
, srcInfoPoints = []
}
"Typeable")))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 21 6 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 21 6 22
, srcInfoPoints = []
}
"a")))))))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 27 6 83
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 29 6 31 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 27 6 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 27 6 28
, srcInfoPoints = []
}
"a"))
(TyTuple
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 32 6 83
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 32 6 33
, SrcSpan "tests/examples/GenericTree.hs" 6 40 6 41
, SrcSpan "tests/examples/GenericTree.hs" 6 82 6 83
]
}
Boxed
[ TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 33 6 40
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 33 6 40
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 33 6 40
, srcInfoPoints = []
}
"TypeRep"))
, TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 42 6 82
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 42 6 48
, SrcSpan "tests/examples/GenericTree.hs" 6 50 6 51
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 49 6 50
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 49 6 50
, srcInfoPoints = []
}
"b")
])
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 52 6 67
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 52 6 53
, SrcSpan "tests/examples/GenericTree.hs" 6 63 6 64
, SrcSpan "tests/examples/GenericTree.hs" 6 65 6 67
]
}
(ParenA
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 52 6 67
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 52 6 53
, SrcSpan "tests/examples/GenericTree.hs" 6 63 6 64
, SrcSpan "tests/examples/GenericTree.hs" 6 65 6 67
]
}
(TypeA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 53 6 63
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 53 6 63
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 53 6 63
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 53 6 61
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/GenericTree.hs" 6 53 6 61
, srcInfoPoints = []
}
"Typeable")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 62 6 63
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 62 6 63
, srcInfoPoints = []
}
"b")))))))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 68 6 82
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 70 6 72 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 68 6 69
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 68 6 69
, srcInfoPoints = []
}
"b"))
(TyParen
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 73 6 82
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 6 73 6 74
, SrcSpan "tests/examples/GenericTree.hs" 6 81 6 82
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 6 74 6 81
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 74 6 79
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 74 6 79
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 74 6 79
, srcInfoPoints = []
}
"Maybe")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 80 6 81
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 6 80 6 81
, srcInfoPoints = []
}
"b")))))
])))
, FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 1 7 36
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 1 7 36
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 1 7 7
, srcInfoPoints = []
}
"dynRep")
[ PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 8 7 9
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 8 7 9
, srcInfoPoints = []
}
"a")
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 10 7 36
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 7 10 7 11 ]
}
(Tuple
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 12 7 36
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 7 12 7 13
, SrcSpan "tests/examples/GenericTree.hs" 7 21 7 22
, SrcSpan "tests/examples/GenericTree.hs" 7 35 7 36
]
}
Boxed
[ App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 13 7 21
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 13 7 19
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 13 7 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 13 7 19
, srcInfoPoints = []
}
"typeOf")))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 20 7 21
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 20 7 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 20 7 21
, srcInfoPoints = []
}
"a")))
, Lambda
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 23 7 35
, srcInfoPoints =
[ SrcSpan "tests/examples/GenericTree.hs" 7 23 7 24
, SrcSpan "tests/examples/GenericTree.hs" 7 26 7 28
]
}
[ PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 24 7 25
, srcInfoPoints = []
}
]
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 29 7 35
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 29 7 33
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 29 7 33
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 7 29 7 33
, srcInfoPoints = []
}
"cast")))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 34 7 35
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/GenericTree.hs" 7 34 7 35
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/GenericTree.hs" 7 34 7 35
, srcInfoPoints = []
}
"a"))))
]))
Nothing
]
]
, []
)