On Mon, 2 Nov 2015, Paul Bone wrote: >> There's bunch of issues where program behaviour differs between >> backends, for example, whether finalisers are run if main/2 terminates >> with an uncaught exception. > > Like this one: > > https://www.mercurylang.org/bugs/view.php?id=336 Yes, that and #372. Julien.