[m-dev.] Module finalisation

[Julien Fischer]

Hi Paul,

On Sat, 27 Dec 2014, Paul Bone wrote:

> If main/2 throws an exception are module finalisers executed?

For the two C backends, no -- if an exception handler cannot be found
we just report that there was an uncaught exception and call exit().

I'm not sure what the other backends currently do -- the C# and Java
ones probably just treat it as an uncaught exception in those languages.

> The reference manual doesn't say

That should be fixed.

Cheers,
Julien.