MPS issue job003945

TitleEasy to mistakenly omit to enable finalization messages
Assigned userGareth Rees
DescriptionAccording to the manual, "If you want to finalize your objects, you must first enable finalization messages by calling mps_message_type_enable()." But this is easy to forget; see for example [1].
AnalysisTwo solution ideas:

1. Assert if mps_finalize is called but finalization messages are disabled.
2. Automatically enable finalization messages when mps_finalize is called.

But maybe there is a use case for turning finalization messages off?
How foundcustomer
Created byGareth Rees
Created on2015-09-12 19:16:26
Last modified byGareth Rees
Last modified on2015-09-12 19:16:26
History2015-09-12 GDR Created.