Original bug ID: 5177
Reporter: @alainfrisch
Status: closed (set by @damiendoligez on 2010-11-10T15:47:41Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 3.12.1+dev
Category: ~DO NOT USE (was: OCaml general)

Bug description

The doc for Gc.compact says: "Perform a full major collection and compact the heap."

However, reading the implementation in byterun/gc_ctrl.c, one can see that compact does not do the same set of operations as full_major:

full_major:
caml_empty_minor_heap ();
caml_finish_major_cycle ();
caml_final_do_calls ();
caml_empty_minor_heap ();
caml_finish_major_cycle ();

compact:
caml_empty_minor_heap ();
caml_finish_major_cycle ();
caml_finish_major_cycle ();

I believe it would be a good idea to do the extra final_do_calls/empty_minor_heap in compact as well.