-#ifdef WIN32
- string msg=Debug::demangle(typeid(e).name())+":\n"+e.what();
- MessageBoxA(0, msg.c_str(), "Uncaught exception", MB_OK|MB_ICONERROR);
-#else
- cerr<<"An uncaught exception occurred.\n";
- cerr<<" type: "<<Debug::demangle(typeid(e).name())<<'\n';
- cerr<<" what(): "<<e.what()<<'\n';
-
- const Exception *exc=dynamic_cast<const Exception *>(&e);
- if(exc && !exc->get_backtrace().get_frames().empty())