#include "src_location.h" #include template <> void Out(IOutputStream& o, const TSourceLocation& t) { #if defined(_win_) TString file(t.File); std::replace(file.begin(), file.vend(), '\\', '/'); o << file; #else o << t.File; #endif o << ':' << t.Line; }