# exception-info-hook.pkg
# (C) 1999 Lucent Technologies, Bell Laboratories
# Compiled by:
# src/lib/core/init/init.cmi
### "Supposing is good, but finding out is better."
###
### -- Mark Twain in Eruption;
package exception_info_hook {
my exception_name
:
base_types::Exception -> base_types::String
=
inline_t::cast (fn (base_types::REF s, _, _) = s);
stipulate
fun dummy (e: base_types::Exception)
=
prestring::meld2
(exception_name e,
" (more info unavailable: exception_info_hook not initialized)");
herein
exception_message_hook
=
base_types::REF dummy;
fun exception_message e
=
(inline_t::deref) exception_message_hook e;
end;
};