• Ben Gamari's avatar
    Make BCO# lifted · 705a16df
    Ben Gamari authored
    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.
    705a16df
Name
Last commit
Last update
..
check-api-annotations Loading commit data...
check-ppr Loading commit data...
check-sphinx Loading commit data...
checkUniques Loading commit data...
compare_sizes Loading commit data...
completion Loading commit data...
coverity Loading commit data...
deriveConstants Loading commit data...
describe-unexpected Loading commit data...
fs Loading commit data...
gen-dll Loading commit data...
genapply Loading commit data...
genprimopcode Loading commit data...
ghc-cabal Loading commit data...
ghc-in-ghci Loading commit data...
ghc-pkg Loading commit data...
haddock @ f4298e24 Loading commit data...
hp2ps Loading commit data...
hpc Loading commit data...
hsc2hs @ fff335b6 Loading commit data...
iserv Loading commit data...
iserv-proxy Loading commit data...
llvm-targets Loading commit data...
lndir Loading commit data...
mkdirhier Loading commit data...
remote-iserv Loading commit data...
runghc Loading commit data...
testremove Loading commit data...
touchy Loading commit data...
unlit Loading commit data...
vagrant Loading commit data...
verify-release Loading commit data...
update-autoconf.sh Loading commit data...