haskell-src-exts-1.18.0: tests/examples/RCategory2.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 1 1 7 1
, srcInfoPoints =
[ SrcSpan "tests/examples/RCategory2.hs" 1 1 1 1
, SrcSpan "tests/examples/RCategory2.hs" 3 1 3 1
, SrcSpan "tests/examples/RCategory2.hs" 3 1 3 1
, SrcSpan "tests/examples/RCategory2.hs" 3 1 3 1
, SrcSpan "tests/examples/RCategory2.hs" 5 1 5 1
, SrcSpan "tests/examples/RCategory2.hs" 7 1 7 1
, SrcSpan "tests/examples/RCategory2.hs" 7 1 7 1
]
}
Nothing
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 1 1 1 47
, srcInfoPoints =
[ SrcSpan "tests/examples/RCategory2.hs" 1 1 1 13
, SrcSpan "tests/examples/RCategory2.hs" 1 26 1 27
, SrcSpan "tests/examples/RCategory2.hs" 1 44 1 47
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 1 14 1 26
, srcInfoPoints = []
}
"TypeFamilies"
, Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 1 28 1 43
, srcInfoPoints = []
}
"ConstraintKinds"
]
]
[ ImportDecl
{ importAnn =
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 3 1 3 16
, srcInfoPoints =
[ SrcSpan "tests/examples/RCategory2.hs" 3 1 3 7 ]
}
, importModule =
ModuleName
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 3 8 3 16
, srcInfoPoints = []
}
"GHC.Prim"
, importQualified = False
, importSrc = False
, importSafe = False
, importPkg = Nothing
, importAs = Nothing
, importSpecs = Nothing
}
]
[ ClassDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 1 6 43
, srcInfoPoints =
[ SrcSpan "tests/examples/RCategory2.hs" 5 1 5 6
, SrcSpan "tests/examples/RCategory2.hs" 5 21 5 26
, SrcSpan "tests/examples/RCategory2.hs" 6 3 6 3
, SrcSpan "tests/examples/RCategory2.hs" 7 1 7 0
]
}
Nothing
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 7 5 20
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 7 5 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 7 5 16
, srcInfoPoints = []
}
"RCategory"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 17 5 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 17 5 20
, srcInfoPoints = []
}
"cat")))
[]
(Just
[ ClsTyFam
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 3 6 43
, srcInfoPoints =
[ SrcSpan "tests/examples/RCategory2.hs" 6 3 6 7 ]
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 29
, srcInfoPoints = []
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 27
, srcInfoPoints = []
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 25
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 21
, srcInfoPoints = []
}
"RCategoryCtxt"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 22 6 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 22 6 25
, srcInfoPoints = []
}
"cat")))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 26 6 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 26 6 27
, srcInfoPoints = []
}
"a")))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 28 6 29
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 28 6 29
, srcInfoPoints = []
}
"b")))
(Just
(KindSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 30 6 43
, srcInfoPoints =
[ SrcSpan "tests/examples/RCategory2.hs" 6 30 6 32 ]
}
(KindVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 33 6 43
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 33 6 43
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 33 6 43
, srcInfoPoints = []
}
"Constraint")))))
Nothing
])
]
, []
)