|Title||Easy to mistakenly omit to enable finalization messages|
|Assigned user||Gareth Rees|
|Description||According 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 .|
|Analysis||Two 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?
|Created by||Gareth Rees|
|Created on||2015-09-12 19:16:26|
|Last modified by||Gareth Rees|
|Last modified on||2015-09-12 19:16:26|
|History||2015-09-12 GDR Created.|