From 2a2474d497ae19472b4366f6d8d62e9a516787c3 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 25 Jun 2010 16:56:25 -0700 Subject: [PATCH] Update comment to reflect slightly-improved GC situation. --- src/boot/be/x86.ml | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml index 57382c882cb..16c5f7ea0d3 100644 --- a/src/boot/be/x86.ml +++ b/src/boot/be/x86.ml @@ -852,15 +852,9 @@ let gc_glue (c (ecx_n Abi.tydesc_field_free_glue)); add eax ecx; (* Add to tydesc* *) - (* FIXME: this path is all wrong, for three reasons. + (* FIXME: this path is all wrong * - * First, it needs to unlink the values that it frees from the gc - * chain. Currently it's going to leave dead pointers on it. - * - * Second, the *normal* gc-drop path actually has to do that as well; - * it's not, and that's a problem. - * - * Third, it actually needs to walk in two full passes over the chain: + * It actually needs to walk in two full passes over the chain: * * - In pass #1, it goes through and disposes of all mutable exterior * slots in each record. That is, rc-- the referent, and then