• 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
Code owners : Ben Gamari
TysPrim.hs 44.1 KB