diff options
Diffstat (limited to 'byterun/minor_gc.h')
| -rw-r--r-- | byterun/minor_gc.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/byterun/minor_gc.h b/byterun/minor_gc.h index 66252aeb2..d520d98c7 100644 --- a/byterun/minor_gc.h +++ b/byterun/minor_gc.h @@ -32,6 +32,14 @@ extern void empty_minor_heap (void); CAMLextern void minor_collection (void); CAMLextern void garbage_collection (void); /* for the native-code system */ extern void realloc_ref_table (void); -extern void oldify (value, value *); +extern void oldify_one (value, value *); +extern void oldify_mopup (void); + +#define Oldify(p) do{ \ + value __oldify__v__ = *p; \ + if (Is_block (__oldify__v__) && Is_young (__oldify__v__)){ \ + oldify_one (__oldify__v__, (p)); \ + } \ + }while(0) #endif /* _minor_gc_ */ |