testsuite/tests/polykinds · 496607fdb77baf12e2fe263104ba5d0d700eee3b · Reinier Maas / GHC

Forked from Glasgow Haskell Compiler / GHC

7393 commits behind the upstream repository.

Ticket #22743 pointed out that there is a missing check,
for type-inferred bindings, that the inferred type doesn't
have an escaping kind.

The fix is easy.

496607fd

History

496607fd 2 years ago

History

Name	Last commit	Last update
..
BadKindVar.hs
BadKindVar.stderr
CuskFam.hs
Freeman.hs
Freeman.stdout
KindVType.hs
KindVType.stderr
KindVarOrder.script
KindVarOrder.stdout
Makefile
MonoidsFD.hs
MonoidsFD.stdout
MonoidsTF.hs
MonoidsTF.stdout
NestedProxies.hs
PolyInstances.hs
PolyKinds01.hs
PolyKinds02.hs
PolyKinds02.stderr
PolyKinds03.hs
PolyKinds04.hs
PolyKinds04.stderr
PolyKinds05.hs
PolyKinds06.hs
PolyKinds06.stderr
PolyKinds07.hs
PolyKinds07.stderr
PolyKinds08.hs
PolyKinds09.hs
PolyKinds09.stdout
PolyKinds10.hs
PolyKinds10.stdout
PolyKinds11.hs
PolyKinds12.hs
PolyKinds13.hs
RedBlack.hs
T10041.hs
T10134.hs
T10134a.hs
T10451.hs
T10451.stderr
T10503.hs
T10516.hs
T10516.stderr
T10570.hs
T10570.stderr
T10670.hs
T10670a.hs
T10742.hs
T10934.hs
T11142.hs
T11142.stderr
T11203.hs
T11203.stderr
T11248.hs
T11249.hs
T11255.hs
T11278.hs
T11362.hs
T11399.hs
T11399.stderr
T11459.hs
T11459.stderr
T11466.hs
T11466.stderr
T11480a.hs
T11480b.hs
T11516.hs
T11516.stderr
T11520.hs
T11520.stderr
T11523.hs
T11554.hs
T11611.hs
T11611.stderr
T11616.hs
T11640.hs
T11648.hs
T11648b.hs
T11821.hs
T11821a.hs
T11821a.stderr
T12055.hs
T12055a.hs
T12055a.stderr
T12444.hs
T12444.stderr
T12593.hs
T12593.stderr
T12668.hs
T12718.hs
T12885.hs
T13267.hs
T13267.stderr
T13371.hs
T13391a.hs
T13393.hs
T13393.stderr
T13394.hs
T13394a.hs