diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-11-19 11:43:30 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-12-03 07:11:33 -0500 |
| commit | 705a16df02411ec2445c9a254396a93cabe559ef (patch) | |
| tree | aae70d73be2d785fd85951ef3813673f2b37e695 /libraries/ghc-compact | |
| parent | 5a4b8d0cf2ff83d1a04826b9624fffec7b9a5683 (diff) | |
| download | haskell-705a16df02411ec2445c9a254396a93cabe559ef.tar.gz | |
Make BCO# lifted
In #17424 Simon PJ noted that there is a potentially unsafe occurrence
of unsafeCoerce#, coercing from an unlifted to lifted type. However,
nowhere in the compiler do we assume that a BCO# is not a thunk.
Moreover, in the case of a CAF the result returned by `createBCO` *will*
be a thunk (as noted in [Updatable CAF BCOs]). Consequently it seems
better to rather make BCO# a lifted type and rename it to BCO.
Diffstat (limited to 'libraries/ghc-compact')
0 files changed, 0 insertions, 0 deletions