diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-03-28 15:59:04 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-22 08:00:18 -0400 |
commit | f435d55fe969e739eb92bbb681069020d0622137 (patch) | |
tree | 84816a862da56d35646f7f767195920a4f5cb9db /compiler/GHC/CmmToC.hs | |
parent | 76bb8cb3fd0f376b6af4bff12c29cb4226c24a72 (diff) | |
download | haskell-f435d55fe969e739eb92bbb681069020d0622137.tar.gz |
Fixes to rubbish literals
* In CoreToStg, the application 'RUBBISH[rep] x' was simplified
to 'RUBBISH[rep]'. But it is possible that the result of the function
is represented differently than the function.
* In Unarise, 'LitRubbish (primRepToType prep)'
is incorrect: LitRubbish takes a RuntimeRep such as IntRep,
while primRepToType returns a type such as Any @(TYPE IntRep). Use
primRepToRuntimeRep instead.
This code is never run in the testsuite.
* In StgToByteCode, all rubbish literals were assumed to be boxed.
This code predates representation-polymorphic RubbishLit and I think
it was not updated.
I don't have a testcase for any of those issues, but the code looks
wrong.
Diffstat (limited to 'compiler/GHC/CmmToC.hs')
0 files changed, 0 insertions, 0 deletions