Now that existential data constructors can be promoted T7347 passes
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 5 Dec 2012 11:09:18 +0000 (11:09 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 5 Dec 2012 11:09:18 +0000 (11:09 +0000)
commitf3938cb52edaea779d342190f32d6efd8bfe1d08
treeefd6d23907ca78877d3440708d2611a0e55d1375
parent0e789317cd6d501c396e56ff4b0dbb7baefabee5
Now that existential data constructors can be promoted T7347 passes

And test 'Holdermans' was simply a duplicate
testsuite/tests/polykinds/Holdermans.hs [deleted file]
testsuite/tests/polykinds/Holdermans.stderr [deleted file]
testsuite/tests/polykinds/T7347.hs
testsuite/tests/polykinds/T7347.stderr [deleted file]
testsuite/tests/polykinds/all.T