MPS issue job003784

Titlemps_class_t is mis-named
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
Descriptionmps_class_t is mis-named: it should be mps_pool_class_t.
AnalysisThe manual says [1], "This should really have been called mps_pool_class_t but it is too late to change it now."

However, the manual is wrong: the name can be changed to mps_pool_class_t if we provide a typedef for backwards compatibility.
How foundinspection
Evidence[1] <http://www.ravenbrook.com/project/mps/...nual/html/topic/pool.html#c.mps_class_t>
Created byGareth Rees
Created on2014-05-05 21:12:38
Last modified byGareth Rees
Last modified on2014-09-27 13:37:38
History2014-05-05 GDR Created.

Fixes

Change Effect Date User Description
187065 closed 2014-09-27 13:37:38 Gareth Rees Rename mps_class_t to mps_pool_class_t for clarity.
Retain a typedef for mps_class_t for backwards compatibility.