Catch exceptions in main()?

[elfring]

I expect that exception handling is usually supported by a C++ program. I wonder why your function "main" does not contain corresponding try and catch instructions so far.

How do you think about recommendations by Matthew Wilson in an article?

Would you like to adjust the implementation if you consider effects for uncaught/unhandled exceptions like they are described by Danny Kalev?

[bertmaher]

Thanks for the feedback! I don't feel strongly about catching exceptions in redex's main(), to be honest. If an exception somehow bubbled up to main, we're just going to die anyways, and we don't have any resources that need to be released that won't be freed by the OS. Maybe we could provide a nice message, but we're not at that level of polish yet.

[elfring]

Would you like to reconsider consequences from implementation-defined behaviour?