haskell-src-exts-1.20.0: tests/examples/PolyKinds.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 1 1 9 1
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 1 1 1 1
, SrcSpan "tests/examples/PolyKinds.hs" 2 1 2 1
, SrcSpan "tests/examples/PolyKinds.hs" 2 1 2 1
, SrcSpan "tests/examples/PolyKinds.hs" 2 1 2 1
, SrcSpan "tests/examples/PolyKinds.hs" 4 1 4 1
, SrcSpan "tests/examples/PolyKinds.hs" 7 1 7 1
, SrcSpan "tests/examples/PolyKinds.hs" 8 1 8 1
, SrcSpan "tests/examples/PolyKinds.hs" 9 1 9 1
, SrcSpan "tests/examples/PolyKinds.hs" 9 1 9 1
]
}
Nothing
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 1 1 1 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 1 1 1 13
, SrcSpan "tests/examples/PolyKinds.hs" 1 24 1 27
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 1 14 1 23
, srcInfoPoints = []
}
"PolyKinds"
]
]
[]
[ DataDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 1 2 21
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 2 14 2 15 ]
}
(DataType
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 1 2 5
, srcInfoPoints = []
})
Nothing
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 6 2 13
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 6 2 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 6 2 11
, srcInfoPoints = []
}
"Proxy"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 12 2 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 12 2 13
, srcInfoPoints = []
}
"t")))
[ QualConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 16 2 21
, srcInfoPoints = []
}
Nothing
Nothing
(ConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 16 2 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 2 16 2 21
, srcInfoPoints = []
}
"Proxy")
[])
]
[]
, ClassDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 4 1 5 31
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 4 1 4 6
, SrcSpan "tests/examples/PolyKinds.hs" 4 18 4 23
, SrcSpan "tests/examples/PolyKinds.hs" 5 3 5 3
, SrcSpan "tests/examples/PolyKinds.hs" 7 1 7 0
]
}
Nothing
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 4 7 4 17
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 4 7 4 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 4 7 4 15
, srcInfoPoints = []
}
"Typeable"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 4 16 4 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 4 16 4 17
, srcInfoPoints = []
}
"t")))
[]
(Just
[ ClsDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 3 5 31
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 5 10 5 12 ]
}
(TypeSig
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 3 5 31
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 5 10 5 12 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 3 5 9
, srcInfoPoints = []
}
"typeOf"
]
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 13 5 31
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 5 21 5 23 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 13 5 20
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 13 5 18
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 13 5 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 13 5 18
, srcInfoPoints = []
}
"Proxy")))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 19 5 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 19 5 20
, srcInfoPoints = []
}
"t")))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 24 5 31
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 24 5 31
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 5 24 5 31
, srcInfoPoints = []
}
"TypeRep")))))
])
, InstDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 1 8 0
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 7 1 7 9
, SrcSpan "tests/examples/PolyKinds.hs" 7 24 7 29
, SrcSpan "tests/examples/PolyKinds.hs" 7 30 7 30
, SrcSpan "tests/examples/PolyKinds.hs" 8 1 8 0
]
}
Nothing
(IRule
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 10 7 22
, srcInfoPoints = []
}
Nothing
Nothing
(IHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 10 7 22
, srcInfoPoints = []
}
(IHCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 10 7 18
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 10 7 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 10 7 18
, srcInfoPoints = []
}
"Typeable")))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 19 7 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 19 7 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 19 7 22
, srcInfoPoints = []
}
"Int")))))
(Just
[ InsDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 30 7 48
, srcInfoPoints = []
}
(FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 30 7 48
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 30 7 48
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 30 7 36
, srcInfoPoints = []
}
"typeOf")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 37 7 38
, srcInfoPoints = []
}
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 39 7 48
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 7 39 7 40 ]
}
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 41 7 48
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 7 41 7 48
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PolyKinds.hs" 7 41 7 48
, srcInfoPoints = []
}
"TypeRep"))))
Nothing
])
])
, InstDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 1 9 0
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 8 1 8 9
, SrcSpan "tests/examples/PolyKinds.hs" 8 24 8 29
, SrcSpan "tests/examples/PolyKinds.hs" 8 30 8 30
, SrcSpan "tests/examples/PolyKinds.hs" 9 1 9 0
]
}
Nothing
(IRule
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 10 8 21
, srcInfoPoints = []
}
Nothing
Nothing
(IHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 10 8 21
, srcInfoPoints = []
}
(IHCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 10 8 18
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 10 8 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 10 8 18
, srcInfoPoints = []
}
"Typeable")))
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 19 8 21
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 8 19 8 20
, SrcSpan "tests/examples/PolyKinds.hs" 8 20 8 21
]
}
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 19 8 21
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 8 19 8 20
, SrcSpan "tests/examples/PolyKinds.hs" 8 20 8 21
]
}
(ListCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 19 8 21
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 8 19 8 20
, SrcSpan "tests/examples/PolyKinds.hs" 8 20 8 21
]
})))))
(Just
[ InsDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 30 8 48
, srcInfoPoints = []
}
(FunBind
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 30 8 48
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 30 8 48
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 30 8 36
, srcInfoPoints = []
}
"typeOf")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 37 8 38
, srcInfoPoints = []
}
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 39 8 48
, srcInfoPoints =
[ SrcSpan "tests/examples/PolyKinds.hs" 8 39 8 40 ]
}
(Con
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 41 8 48
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/PolyKinds.hs" 8 41 8 48
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PolyKinds.hs" 8 41 8 48
, srcInfoPoints = []
}
"TypeRep"))))
Nothing
])
])
]
, []
)