MPS issue job003784

Titlemps_class_t is mis-named
Assigned userGareth Rees
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] <>
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.


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.