| Title | Easy to mistakenly omit to enable finalization messages |
| Status | open |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| 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 [1]. |
| 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? |
| How found | customer |
| Evidence | [1] https://info.ravenbrook.com/mail/2001/11/07/14-31-14/0/ |
| 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. |