On Fri, Mar 1, 2024 at 12:18 PM Frederick Virchanza Gotham wrote:
>
> We should have access to the 'type_info' of any object that is thrown,
> even if it is caught inside a 'catch(...)' block.


I've made a few cosmetic changes to the paper and I think it's ready
now, see here:

    http://www.virjacode.com/papers/typeid_except.htm

I've also attached it to this email.

In 48 hours' time, I will email the paper to the vice-chair Nevin
Liber to obtain a document number.

So lastly, can I get suggestions from people on what this new function
should be called? Presently it's called 'typeid_except', and I called
it this because I wanted it to resemble the 'typeid' operator. I was
reluctant to have 'exception' in the name as I don't want any
confusion about whether it has anything to do with the class named
"std::exception". A few other possible names:

    typeidex
    typeid_ex
    typeid_exception
    typeid_of_exception
    typeid_from_exception
    exception_typeid
    exception_typeinfo
    get_typeinfo_of_exception
    get_typeinfo_from_exception