Add a bizarre corner-case to cgExpr (Trac #9964)
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 20 Feb 2015 08:49:32 +0000 (08:49 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 20 Feb 2015 08:49:58 +0000 (08:49 +0000)
commit9c78d09e344e97d2d5c37b9bb46e311a3cf031e2
treee4cd9d5b00b683cdb1029153042f3efa7ded3fe6
parent10fab31211961c9200d230556ec7742e07a6c831
Add a bizarre corner-case to cgExpr (Trac #9964)

David Feuer managed to tickle a corner case in the
code generator. See Note [Scrutinising VoidRep]
in StgCmmExpr.

I rejigged the comments in that area of the code generator
  Note [Dodgy unsafeCoerce 1]
  Note [Dodgy unsafeCoerce 2]
but I can't say I fully understand them, alas.
compiler/codeGen/StgCmmExpr.hs
testsuite/tests/codeGen/should_compile/T9964.hs [new file with mode: 0644]
testsuite/tests/codeGen/should_compile/all.T