thejayps

Arena extens/contraction callbacks documentation does not clearly describe when callbacks could be called

1

Raise https://github.com/Ravenbrook/mps/pull/213#discussion_r1190094507 Also see #224: what does "And check for other stuff (e.g. format methods) where we should mention that." mean?

Explaining the purpose of roles can help leaders to understand the flexibility available to them in review planning, eg that a role could be split among 2 people. https://github.com/Ravenbrook/mps/blob/586336a7021c2276a3f798ad10e6e4ab5f438226/procedure/review.rst#52-review-planning

In the case of https://github.com/Ravenbrook/mps/pull/213/files where the change doesn't include key parts of the product document, the review planning procedure does not prompt the leader to identify this part of...

[mps_root_create_table](https://www.ravenbrook.com/project/mps/master/manual/html/topic/deprecated.html#c.mps_root_create_table) "Deprecated This function is equivalent to: mps_root_create_area(root_o, arena, rank, mode, base, base + count, mps_scan_area, NULL, 0)" The above is incorrect as there is one too many input arguments

This issue is specific to internal Ravenbrook systems. Documentation can be found (if one knows where to look) under /html folders within the internal "infosys" for custom MPS versions. In...