> How do you handle two language types that map to the same LLVM type?Duncan just explained to me on IRC that it is just the globals that are used, not the types. LGTM :-) Cheers, Rafael
2010/11/25 Rafael Espíndola <rafael.espindola at gmail.com>:>> How do you handle two language types that map to the same LLVM type? > > Duncan just explained to me on IRC that it is just the globals that > are used, not the types. LGTM :-)Can someone elaborate on the mailing list? I still don't really understand this aspect. Reid
2010/11/25 Reid Kleckner <reid.kleckner at gmail.com>:> Can someone elaborate on the mailing list? I still don't really > understand this aspect.These are just mangled globals that define types in C++ (I have no idea about other languages). $ c++filt _ZTIi typeinfo for int $ c++filt _ZTIPKc typeinfo for char const* So, if the typeinfo for the exception thrown is the same (ex. _ZTIi), the comparison match because they point to the same global. cheers, --renato