This is the mail archive of the
kawa@sourceware.org
mailing list for the Kawa project.
R7RS 'emergency-exit' added and 'exit' modified.
- From: Per Bothner <per at bothner dot com>
- To: "kawa at sourceware dot org" <kawa at sourceware dot org>
- Date: Mon, 17 Feb 2014 18:37:27 -0800
- Subject: R7RS 'emergency-exit' added and 'exit' modified.
- Authentication-results: sourceware.org; auth=none
I changed the 'exit' procedure so it calls finally blocks (as
in try-finally'), including dynamic-wind "after" handlers.
It does this by throwing an ExitCalled exception, but only
when ExitCalled.push/pop "nesting" is non-zero.
I also added emergency-exit, which just calls Runtime.halt,
thus not hannling finally blocks or JVM shutdown hooks.
--
--Per Bothner
per@bothner.com http://per.bothner.com/