Deal with JoinIds before void types
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 10 Mar 2017 11:12:12 +0000 (11:12 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 10 Mar 2017 13:00:48 +0000 (13:00 +0000)
commitbc0f3abd0914808e33f84229818ab90842611bdd
tree99c64e30c11664a6de45446c183751958eef70a7
parent900cfdc2700ad9e8c7a12dd25bb0396e5e7651df
Deal with JoinIds before void types

Trac #13394, comment:4 showed up another place where we were testing
for the representation of of a type; and it turned out to be a JoinId
which can be rep-polymorphic.

Just putting the test in the right places solves this easily.
compiler/codeGen/StgCmmExpr.hs
testsuite/tests/polykinds/T13394a.hs [new file with mode: 0644]
testsuite/tests/polykinds/all.T