Re: [PATCH 0/2] Change Ada type names reported by Python

Tom Tromey
2021-06-25T14:02:25Z

>>>>> "Tom" == Tom Tromey <tromey@adacore.com> writes:

Tom> This series changes the Python code to report the "decoded" (aka
Tom> "demangled") Ada type names. This is arguably more correct, as the
Tom> encoded names are compiler-synthesized and surprising to users; also
Tom> it is less fragile, because the type names are generally changing
Tom> anyway as we move the compiler to "minimal encodings".

I'm checking these in now.

Tom