haskell-src-exts-1.22.0: tests/examples/QuantifiedConstraints.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 1 1 5 1
, srcInfoPoints =
[ SrcSpan "tests/examples/QuantifiedConstraints.hs" 1 1 1 1
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 2 1 2 1
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 1 4 1
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 1 4 1
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 1 4 1
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 5 1 5 1
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 5 1 5 1
]
}
Nothing
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 1 1 1 32
, srcInfoPoints =
[ SrcSpan "tests/examples/QuantifiedConstraints.hs" 1 1 1 13
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 1 29 1 32
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 1 14 1 28
, srcInfoPoints = []
}
"ExplicitForAll"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 2 1 2 39
, srcInfoPoints =
[ SrcSpan "tests/examples/QuantifiedConstraints.hs" 2 1 2 13
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 2 36 2 39
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 2 14 2 35
, srcInfoPoints = []
}
"QuantifiedConstraints"
]
]
[]
[ ClassDecl
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 1 4 34
, srcInfoPoints =
[ SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 1 4 6 ]
}
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 7 4 30
, srcInfoPoints =
[ SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 7 4 8
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 26 4 27
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 28 4 30
]
}
(ParenA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 7 4 30
, srcInfoPoints =
[ SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 7 4 8
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 26 4 27
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 28 4 30
]
}
(TypeA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 8 4 26
, srcInfoPoints =
[ SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 8 4 14
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 16 4 17
]
}
(TyForall
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 8 4 26
, srcInfoPoints =
[ SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 8 4 14
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 16 4 17
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 15 4 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 15 4 16
, srcInfoPoints = []
}
"a")
])
Nothing
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 18 4 26
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 18 4 20
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 18 4 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/QuantifiedConstraints.hs" 4 18 4 20
, srcInfoPoints = []
}
"Eq")))
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 21 4 26
, srcInfoPoints =
[ SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 21 4 22
, SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 25 4 26
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 22 4 25
, srcInfoPoints = []
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/QuantifiedConstraints.hs" 4 22 4 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/QuantifiedConstraints.hs" 4 22 4 23
, srcInfoPoints = []
}
"f"))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/QuantifiedConstraints.hs" 4 24 4 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/QuantifiedConstraints.hs" 4 24 4 25
, srcInfoPoints = []
}
"a"))))))))))
(DHApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 31 4 34
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 31 4 32
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 31 4 32
, srcInfoPoints = []
}
"C"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 33 4 34
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/QuantifiedConstraints.hs" 4 33 4 34
, srcInfoPoints = []
}
"f")))
[]
Nothing
]
, []
)