XXX: Unconditionally flush update remembered set during minor GC
authorBen Gamari <ben@smart-cactus.org>
Thu, 9 May 2019 01:28:35 +0000 (21:28 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 21 May 2019 13:39:37 +0000 (09:39 -0400)
commitd635d3edbd5900f77ecd3fb56142613a550af29b
tree9a7447f5882d8a417d7b728c0e2d1b59b288f71b
parent68b544cf70e282fb856944fa7c4cfcc5b9c03bf0
XXX: Unconditionally flush update remembered set during minor GC
rts/sm/GC.c